docs: protected void writeHeader(RandomAccessFile file, long length, int segmentSize) throws IOException {
          file.seek(0);
          file.writeUTF("GH");
          file.writeLong(length);
          file.writeInt(segmentSize);
          for (int i = 0; i < header.length; i++) {
              file.writeInt(header[i]);
          }
      }