1 
2 /*
3 
4    debug.h
5 
6 */
7 
8 
9 void DebugState(void);
10 
11 extern const char debugger_help1[];
12 extern const char debugger_help2[];
13 
14