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: