svoid printLinesWithGrowingIndent(Iterable<S> lines) {
  S indent = "";
  for (S s : unnull(lines))
    print((indent += "  ") + s);
}