Symbol: nfp_verify_insn