docs: @Override
    public void writeHeader(RandomAccessFile file) throws IOException {
      super.writeHeader(file);
      file.writeInt(min_fanout);
      file.writeLong(num_elements);
      file.writeInt(dimensionality);
      file.writeFloat(max_overlap);
      file.writeLong(supernode_offset);
    }