Symbol: check_PVK