Symbol: VERIEXEC_FILE