Symbol: ossl_ec_GFp_nist_field_mul