More work on driver debugger