Symbol: veriexec_get