sS stringFromHuffmanBytes(byte[] compressed) {
  ret fromUtf8(new HuffmanByteArray().load(compressed)!);
}