mp_print
#define DIAG(T,V) {fprintf(stderr,T);mp_print(V,stderr);fputc('\n',stderr);}
void mp_print(mp_int *mp, FILE *ofp);