redirect printf() to debugger