with_open_file_io