Symbol: wmi_add_krk_cmd