#ifndef DEBUG_H_
#define DEBUG_H_


void debug_puts(char *s);
void debug_putb(bool b);
#endif /* DEBUG_H_ */