// A = type of literals (e.g. String)
static noeq record LineCompedSingle<A>(L<A> literals, L<IntPair> pairs, L<Int> main) {
  long roughCount() { ret l(literals) + l(pairs)*2 + l(main); }
}