def left_indent(text, indent=<NUM_LIT:12>, end='<STR_LIT:\n>'):
indent = '<STR_LIT:U+0020>' * indent<EOL>lines = [indent + line for line in text.splitlines(True)]<EOL>lines.append(end)<EOL>return '<STR_LIT>'.join(lines)<EOL>
A bit of the ol' ultraviolence  :-/