bool eof() const;