added timing in the debugger