docs: public final byte[] decompress(byte[] src, int srcOff, int destLen) {
      final byte[] decompressed = new byte[destLen];
      decompress(src, srcOff, decompressed, 0, destLen);
      return decompressed;
    }