#ifndef TPAX_DPRINTF_IMPL_H
#define TPAX_DPRINTF_IMPL_H
#ifdef ARGV_DRIVER
#define argv_dprintf tpax_dprintf
#endif
int tpax_dprintf(int fd, const char * fmt, ...);