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