Symbol: pm_check_k