mp_msub
extern void mp_msub(MINT *, MINT *, MINT *);
mp_msub(&u2, &t, &t);
mp_msub(&y, &x, c);
mp_msub(&y, &x, c);
mp_msub(&x, &y, c);
mp_msub(&y, &x, c);
mp_msub(&a0, &x, r);
void msub(MINT *a, MINT *b, MINT *c) { mp_msub(a, b, c); }
mp_msub(a, b, &c);