Symbol: veriexec_fp_status