docs: public byte[] compress(byte[] src, int srcOff, int srcLen) {
      final int maxCompressedLength = maxCompressedLength(srcLen);
      final byte[] compressed = new byte[maxCompressedLength];
      final int compressedLength = compress(src, srcOff, srcLen, compressed, 0);
      return Arrays.copyOf(compressed, compressedLength);
    }