xdprintf
xdprintf("%s %d.%06d\n", s, tv.tv_sec, tv.tv_usec);
#define dprintf xdprintf
void xdprintf(char *fmt, ...);