let problem_file_name (flags: flags) = flags.problem_file_name