Symbol: get_output_file