mp_mtox
extern char *mp_mtox(MINT *);
xkey = mp_mtox(sk);
xkey = mp_mtox(pk);
char *mtox(MINT *key) { return (mp_mtox(key)); }
xkey = mp_mtox(sk);
xkey = mp_mtox(pk);