DIAG
#define DIAG 0x002 /* print diagnostics */
#define DIAG(T,V) {fprintf(stderr,T);mp_print(V,stderr);fputc('\n',stderr);}
#define DIAG(T,V)