modified:   debug.h