let with_input_file = with_input_file