fp_redcify
ATTRIBUTE_WARN_UNUSED_RET int fp_redcify(fp_t out, fp_src_t in);
ret = fp_redcify(&(crv->a_monty), a); EG(ret, err);
ret = fp_redcify(&(crv->b_monty), b); EG(ret, err);
ret = fp_redcify(&(crv->b3_monty), &(crv->b3)); EG(ret, err);
ret = fp_redcify(&y, &y); EG(ret, err);
ret = fp_redcify(out, out);