code: public final int readInt() throws IOException {
          readFully(scratch, 0, SizeOf.INT);
          return Memory.peekInt(scratch, 0, ByteOrder.BIG_ENDIAN);
      }
docs: Reads a big-endian 32-bit integer from the current position in this file. Blocks
  until four bytes have been read, the end of the file is reached or an
  exception is thrown.
  
  @return the next int value from this file.
  @throws EOFException
  if the end of this file is detected.
  @throws IOException
  if this file is closed or another I/O error occurs.
  @see #writeInt(int)