def exec_file(path, name):
result = {}<EOL>code = read_file(path)<EOL>lines = [line for line in code.split('<STR_LIT:\n>') if line.startswith(name)]<EOL>exec("<STR_LIT:\n>".join(lines), result)<EOL>return result[name]<EOL>
Extract a constant from a python file by looking for a line defining
    the constant and executing it.