function END_OF_FILE(FILE : in FILE_TYPE) return BOOLEAN;
    function END_OF_FILE;

    Operates on a file of mode IN_FILE. Returns TRUE if a file
    terminator is next, or if the combination of a line, a page,
    and a file terminator is next; otherwise returns FALSE.

    The exception MODE_ERROR is raised if the mode is not IN_FILE.