example_file : str