A stream file is a sequence of bytes, where individual elements are
written to the file as described in the Ada 95 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.