static LineComped lineComp_compressTextAsChars(S text) { SS data = litmap("" := lambdaMap charToHex(characters(text))); LineCompCompressor compressor = new(data); compressor.verify = true; compressor.run(); new L literals; new LPair pairs; for (Chunk c : chunks) if (c cast CPair) pairs.add(IntPair(c.i1, c.i2)); else literals.add(charFromHex(((CPrim) c).s)); ret new LineComped(literals, pairs, litmap(unit(), firstValue(compressor.finalEncodings))); }