Create an instance of the {File_stream} class (using functions Read_file_stream / Write_file_stream) to work with files as streams of bytes / strings. See also a description of the base class <a href=Stream.html>{Stream}</a>.
