More on debugger integration.