sS renderLineCompedSingleWithBrackets(LineComped<Char> lc) {
  new StringBuilder buf;
  renderLineCompedSingleWithBrackets_step(lc, buf, lc.main);
  ret str(buf);
  
svoid renderLineCompedSingleWithBrackets_step(LineComped<Char> lc, StringBuilder buf, L<Int> chunks) {
  for (int idx : chunks)
    if (idx < l(lc.literals))
      buf.append(lc.literals.get(idx));
    else
      renderLineCompedSingleWithBrackets_step(lc, buf, pairToList(lc.pairs.get(idx-l(lc.literals))));
}