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

    Operates on a file of mode OUT_FILE.

    For a SPACING of one: Outputs a line terminator and sets the
    current column number to one. Then increments the current line
    number by one, except in the case that the current line number
    is already greater than or equal to the maximum page length, for
    a bounded page length; in that case a page terminator is output,
    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 OUT_FILE.