Symbol: veriexec_raw_cb