proc printf(formatstr:cstring)