Symbol: VERIEXEC_DELETE