Update debug.h