docs: public static void writeInt(byte[] b, int offset, int value) {
      b[offset++] = (byte) (value >>> 24);
      b[offset++] = (byte) (value >>> 16);
      b[offset++] = (byte) (value >>> 8);
      b[offset] = (byte)value;
    }