#ifdef DEBUG
#define debugf printf("%s,%d: ", __FILE__, __LINE__); printf
#else
#define debugf debug_dummy
#endif

void debug_dummy(char *fmt, ...);
void debug_init(void);
int debug_putchar(char c, FILE *stream);
void debug_deinit(void);
unsigned char debug_AsciiToHex(unsigned char high, unsigned char low);
void debug_SendHex(unsigned char hex);