debug.h revision 0f3af1c6e8890747a14f4cdd2b5a50b220eb2205