void goto_next_char();
Increments the current position if it is not the end of file position, else does nothing.