static void printIndent(O o) {
  print(indentx(str(o)));
}

static void printIndent(S indent, O o) {
  print(indentx(indent, str(o)));
}

static void printIndent(int indent, O o) {
  print(indentx(indent, str(o)));
}