to record debugger sessions, and it changes *standard-input* and *standard-output*, so it works correctly with the new stream structure.