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