let with_output_file = with_output_file