def as_block_string(txt):
import json<EOL>lines = []<EOL>for line in txt.split('<STR_LIT:\n>'):<EOL><INDENT>line_ = json.dumps(line)<EOL>line_ = line_[<NUM_LIT:1>:-<NUM_LIT:1>].rstrip()  <EOL>lines.append(line_)<EOL><DEDENT>return '<STR_LIT>' % '<STR_LIT:\n>'.join(lines)<EOL>
Return a string formatted as a python block comment string, like the one
    you're currently reading. Special characters are escaped if necessary.