#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, ...); #endif