Symbol: get_commandline_args