Debugger: Treatment of interrupts improved.