procedure SET_LINE(FILE : in FILE_TYPE;
                       TO   : in POSITIVE_COUNT);
    procedure SET_LINE(TO   : in POSITIVE_COUNT);

    If the file mode is OUT_FILE:

    If the value specified by TO is greater than the current line
    number, has the effect of repeatedly calling NEW_LINE (with
    a spacing of one), until the current line number equals the
    specified value. If the value specified by TO is equal to the
    current line number, there is no effect. If the value specified
    by TO is less than the current line number, has the effect of
    calling NEW_PAGE followed by a call of NEW_LINE with a spacing
    equal to (TO - 1).

    The exception LAYOUT_ERROR is raised if the value specified by
    TO exceeds PAGE_LENGTH when the page length is bounded (that is,
    when it does not have the conventional value zero).

    If the mode is IN_FILE:

    Has the effect of repeatedly calling SKIP_LINE (with a spacing of
    one), until the current line number equals the value specified by
    TO; there is no effect if the current line number already equals
    this value. (Short pages will be skipped until a page is reached
    that has a line at the specified line position.)

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