procedure GET(FILE : in FILE_TYPE;
                  ITEM : out CHARACTER);

    procedure GET(ITEM : out CHARACTER);
    procedure GET(FILE : in FILE_TYPE; ITEM: out STRING);
    procedure GET(ITEM: out STRING);

    If ITEM is of the type CHARACTER:

    After skipping any line terminators and any page terminators,
    reads the next character from the specified input file and
    returns the value of this character in the out parameter ITEM.

    The exception END_ERROR is raised if an attempt is made to skip a
    file terminator.

    If ITEM is of the type STRING:

    Determines the length of the given string and attempts that
    number of GET operations for successive characters of the string
    (in particular, no operation is performed if the string is null).