working dbgprintf