dbg.h added