code: @Override
    public void writeHeader(RandomAccessFile file) throws IOException {
      file.seek(0);
      file.writeInt(FILE_VERSION);
      file.writeInt(this.pageSize);
    }
docs: Writes this header to the specified file. Writes the {@link #FILE_VERSION
  version} of this header and the integer value of {@link #pageSize} to the
  file.