def main(): with open('file.txt') as file: print(42)