_mp_move
void _mp_move(MINT *, MINT *);
_mp_move(ck, a);
extern void _mp_move(MINT *, MINT *);
_mp_move(ck, a);
_mp_move(a, &x);
_mp_move(b, &y);
_mp_move(&y, &x);
_mp_move(&z, &y);
_mp_move(&x, c);
_mp_move(x0, &u3);
_mp_move(x0, &x0_prime);
_mp_move(one, &v2);
_mp_move(x1, &v3);
_mp_move(&v3, &u3);
_mp_move(&r, &v3);
_mp_move(&v2, &u2);
_mp_move(&t, &v2);
_mp_move(&u2, c);
extern void _mp_move(MINT *, MINT *);
_mp_move(a, &x);
_mp_move(b, &y);
_mp_move(a, &x);
_mp_move(b, &y);
_mp_move(a, &x);
_mp_move(b, &y);
_mp_move(a, &x);
_mp_move(a, &a0);
_mp_move(&y, &x);
_mp_move(&x, b);
_mp_move(a, &x);
_mp_move(b, &y);
_mp_move(a, &a0);
_mp_move(b, &b0);
_mp_move(c, &c0);
_mp_move(key, m);
_mp_move(ck, a);
extern void _mp_move(MINT *, MINT *);