void debug_init(void);
void debug_enable(void);
void int2hex(unsigned long i, char *buf,word size);
void print_screen(char* line,word y);
void print_console(char* line);