forward_to_end
Description:
public void forward_to_end ()
Moves this forward to the “end iterator,” which points one past the last valid character in the
buffer.
get_char called on the end iterator returns 0, which is convenient for writing
loops.
Parameters: