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.