skip_line/[0,1]skip_line
skip_line(+Stream)
Skip the remaining input characters on the current line on the current input stream, or on Stream.
Stream errors (see ref-iou-sfh-est), plus:
existence_error
Coding with skip_line/[0,1] and at_end_of_line/[0,1] to handle line
input is more portable among different operating systems than checking end
of line by the input character code.
get0/[1,2], at_end_of_line/[0,1],
at_end_of_file/[0,1].