Symbol: veriexec_fpops_lookup