As in the case of Text_IO, when a non-regular file is read, it is
assumed that the file contains no page marks (any form characters are
treated as data characters), and End_Of_Page always returns
False. Similarly, the end of file indication is not sticky, so
it is possible to read beyond an end of file.