Symbol: aux_cmd_type