svoid <A> lcPrintSubstrings(LineCompedSingle<A> lc) {
  int n = lc.nItems(), n1 = lc.nLiterals();
  for i to n: {
    if (i == n1) print("---");
    print(i + ": " + lcUncompressItem(lc, i));
  }
  print(uncompressLineCompedSingle(lc));
}