static byte[] stringToHuffmanBytes(S s) {
  ret new HuffmanByteArray(toUtf8(s)).toByteArray();
}