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