Symbol: veriexec_fpops