void mprintf(char *fmt, ...);