fp_mul_redc1
ATTRIBUTE_WARN_UNUSED_RET int fp_mul_redc1(fp_t out, fp_src_t in1, fp_src_t in2);
return fp_mul_redc1(out, in1, in2);
return fp_mul_redc1(out, in, in);