add dbgif