svoid aicDemo(S snippetID default #1034022) {
  new AdaptiveIdentifierCompression aic;
  aic.minCountToCompress(1);
  S text = loadSnippet_cached(snippetID);
  LS tok = map(javaTok(text), t -> aic.encode(t));
  S text2 = join(tok);
  showText(text2);
  print(nChars(text) + " => " + nChars(text2) + " = " + doubleRatio(l(text2), l(text)));
}