procedure SKIP_LINE(FILE    : in FILE_TYPE;
                        SPACING : in POSITIVE_COUNT := 1);
    procedure SKIP_LINE(SPACING : in POSITIVE_COUNT := 1);

    Operates on a file of mode IN_FILE.

    For a SPACING of one: Reads and discards all characters until a
    line terminator has been read, and then sets the current column
    number to one. If the line terminator is not immediately followed
    by a page terminator, the current line number is incremented by
    one. Otherwise, if the line terminator is immediately followed
    by a page terminator, then the page terminator is skipped, the
    current page number is incremented by one, and the current line
    number is set to one.

    For a SPACING greater than one, the above actions are performed
    SPACING times.

    The exception MODE_ERROR is raised if the mode is not IN_FILE.
    The exception END_ERROR is raised if an attempt is made to read a
    file terminator.