lots of debugger output