s_mp_redc
MP_CHECKOK(s_mp_redc(r, (mp_mont_modulus *) meth->extra1));
mp_err s_mp_redc(mp_int *T, mp_mont_modulus *mmm);