mtox
extern char *mtox(MINT *);
extern char *mtox(MINT *);
(void) printf(" u=%s\n", mtox(&u));
(void) printf(" v=%s\n", mtox(&v));
(void) printf(" x=%s\n", mtox(&x));
(void) printf(" w=%s\n", mtox(&w));