Listing 3 printf.h, version 1

#ifndef PRINTF_H
#define PRINTF_H

#ifndef NDEBUG

#ifdef printf
#undef printf
#endif
#define printf DB_printf

int DB_printf(const char format[], ... );

#endif /* NDEBUG */
#endif /* PRINTF_H */
/* End of File */