throw EOFException if we are seeking beyond eof.