Symbol: input_cmdline