CLOSE
CLOSE [ # ] Stream
Closes an opened file or any other stream.
This instruction never fails.
If you have opened a
Process stream, then closing it actually
closes its standard input, as if you type
CTRL+D in a terminal.
Closing a string stream
String = CLOSE [ # ] StringStream
Closing a string stream returns the internal string buffer of the stream.
See also