void goto_end_of_file();
Changes the current position to the end of file position. Its definition is equivalent to: