fp_add_monty
ATTRIBUTE_WARN_UNUSED_RET int fp_add_monty(fp_t out, fp_src_t in1, fp_src_t in2);
ret = fp_add_monty(&t5, &in2->X, &in2->Z); EG(ret, err);
ret = fp_add_monty(&t5, &t0, &t2); EG(ret, err);
ret = fp_add_monty(&t5, &in1->Y, &in1->Z); EG(ret, err);
ret = fp_add_monty(&out->X, &in2->Y, &in2->Z); EG(ret, err);
ret = fp_add_monty(&out->X, &t1, &t2); EG(ret, err);
ret = fp_add_monty(&out->Z, &out->X, &out->Z); EG(ret, err);
ret = fp_add_monty(&out->Z, &t1, &out->Z); EG(ret, err);
ret = fp_add_monty(&t1, &t0, &t0); EG(ret, err);
ret = fp_add_monty(&t1, &t1, &t0); EG(ret, err);
ret = fp_add_monty(&t1, &t1, &t2); EG(ret, err);
ret = fp_add_monty(&t4, &t4, &t2); EG(ret, err);
ret = fp_add_monty(&out->Y, &out->Y, &t0); EG(ret, err);
ret = fp_add_monty(&out->Z, &out->Z, &t0);
ret = fp_add_monty(&w, &w, &XX); EG(ret, err);
ret = fp_add_monty(&w, &w, &XX); EG(ret, err);
ret = fp_add_monty(&w, &w, &XX); EG(ret, err);
ret = fp_add_monty(&s, &s, &s); EG(ret, err);
ret = fp_add_monty(&R, &R, &(in->X)); EG(ret, err);
ret = fp_add_monty(&t3, &t3, &t3); EG(ret, err);
ret = fp_add_monty(&out->Z, &out->Z, &out->Z); EG(ret, err);
ret = fp_add_monty(&out->Y, &out->X, &out->Y); EG(ret, err);
ret = fp_add_monty(&out->Y, &t1, &out->Y); EG(ret, err);
ret = fp_add_monty(&t3, &t3, &out->Z); EG(ret, err);
ret = fp_add_monty(&out->Z, &t0, &t0); EG(ret, err);
ret = fp_add_monty(&t0, &out->Z, &t0); EG(ret, err);
ret = fp_add_monty(&t0, &t0, &t2); EG(ret, err);
ret = fp_add_monty(&out->Y, &out->Y, &t0); EG(ret, err);
ret = fp_add_monty(&t2, &t2, &t2); EG(ret, err);
ret = fp_add_monty(&out->Z, &out->Z, &out->Z); EG(ret, err);
ret = fp_add_monty(&out->Z, &out->Z, &out->Z);
ret = fp_add_monty(&t3, &in1->X, &in1->Y); EG(ret, err);
ret = fp_add_monty(&t4, &in2->X, &in2->Y); EG(ret, err);
ret = fp_add_monty(&t4, &t0, &t1); EG(ret, err);
ret = fp_add_monty(&t4, &in1->X, &in1->Z); EG(ret, err);