def indent(string, times=<NUM_LIT:1>):
return "<STR_LIT:\n>".join("<STR_LIT:U+0020>" * (<NUM_LIT:4> * times) + line for line in string.splitlines())<EOL>
A dumb version of `textwrap.indent` from Python 3.3.