3
command. Makes the named file the read stream, used for READLIST,
4
etc. The file must already be open with OPENREAD or OPENUPDATE. If
5
the input is the empty list, then the read stream becomes the
6
terminal, as usual. Changing the read stream does not close the
7
file that was previously the read stream, so it is possible to
8
alternate between files.