16.4.2 Input and output for timer functions

I/O streams default to the standard input and output of the process, which is initially *terminal-io* in the case of The Idle Process.