Symbol: handle_cmdline_files