Symbol: veriexec_verify