Symbol: wmi_cmd_to_name