BN_GF2m_mod_mul
if (!BN_GF2m_mod_mul(r, a, b, p, ctx))
if (!BN_GF2m_mod_mul(r, r, b, p, ctx))
if (!BN_GF2m_mod_mul(r, y, xinv, p, ctx))
int BN_GF2m_mod_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b,
&& TEST_true(BN_GF2m_mod_mul(e, e, f, b[j], ctx))
if (!(TEST_true(BN_GF2m_mod_mul(e, a, c, b[j], ctx))
&& TEST_true(BN_GF2m_mod_mul(g, f, c, b[j], ctx))
&& TEST_true(BN_GF2m_mod_mul(h, d, c, b[j], ctx))
&& TEST_true(BN_GF2m_mod_mul(d, a, d, b[j], ctx))
&& TEST_true(BN_GF2m_mod_mul(d, a, c, b[j], ctx))
&& TEST_true(BN_GF2m_mod_mul(e, d, c, b[j], ctx))