mp_madd
extern void mp_madd(MINT *, MINT *, MINT *);
mp_madd(sk, tmp, sk);
mp_madd(&x0_prime, c, c);
mp_madd(c, &mone, c);
mp_madd(&x, &y, c);
mp_madd(&x, &y, c);
mp_madd(&x, &y, c);
mp_madd(a, &y, a);
mp_madd(&x, &y, &y);
void madd(MINT *a, MINT *b, MINT *c) { mp_madd(a, b, c); }
mp_madd(m, d, m);
mp_madd(sk, tmp, sk);