code: def printf(format, *args):
      
      sys.stdout.write(str(format) % args)
      return if_(args, lambda: args[-1], lambda: format)
docs: Format args with the first argument as format string, and write.
      Return the last arg, or format itself if there are no args.