A stream file is a sequence of bytes, where individual elements are
written to the file as described in the Ada Reference Manual. The type
Stream_Element is simply a byte. There are two ways to read or
write a stream file.
Writedirectly read or write a sequence of stream elements with no control information.