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