void initDebugMap(void); void debug(void); void int2hex(unsigned long i, char *buf,word size); void writeln(char* line,word y); void enableDebugScreen(void);