Symbol: get_cmdname