docs: private void writeInt(int value, byte[] data, int offset) {
          int index = offset;
          data[index++] = (byte) (value & 0xff);
          data[index++] = (byte) ((value >> 8) & 0xff);
          data[index++] = (byte) ((value >> 16) & 0xff);
          data[index++] = (byte) ((value >> 24) & 0xff);
      }