BN_mod_exp_recp
ret = BN_mod_exp_recp(r, a, p, m, ctx);
int BN_mod_exp_recp(BIGNUM *r, const BIGNUM *a, const BIGNUM *p,
if (!TEST_true(BN_mod_exp_recp(r, a, t, b, ctx)))
|| !TEST_true(BN_mod_exp_recp(r, a, p, m, NULL))
: BN_mod_exp_recp)(r, a, b, c, ctx),
: BN_mod_exp_recp)(r, a, r, c, ctx),
if (!TEST_int_eq(BN_mod_exp_recp(c, a, b, c, ctx), 1))
|| !TEST_true(BN_mod_exp_recp(r_recp, a, b, m, ctx))
if (!TEST_true(BN_mod_exp_recp(r, a, p, m, ctx)))