Debugging the RTS