debug.h revision 0d4d5236
1