debug.h revision 7644d581
1