Symbol: VERIEXEC_IDS