def read_file(path):
with open(path, "<STR_LIT:r>") as f:<EOL><INDENT>string = f.read()<EOL>f.close()<EOL><DEDENT>return string<EOL>
Read an input into a file, doing necessary conversions around relative path handling