Deprecated `dbg_printf' in favour of `dbg.h' functions