int at_end_of_file();
Returns 1 if you are at the end of the current buffer, else returns 0. Its definition is equivalent to: