Symbol: veriexec_removechk