svoid stepMaxWithPrintIndentedStruct(long maxSteps, Steppable s) {
  if (s == null) ret;
  S struct = null;
  long steps = 0;
  do {
    if (steps++ > maxSteps) break;
    print(struct = indentedStruct(s));
  } while (s.step());
  S struct2 = indentedStruct(s);
  if (!eq(struct, struct2)) print(struct2);
}

svoid stepMaxWithPrintIndentedStruct(Steppable s, long maxSteps) {
  stepMaxWithPrintIndentedStruct(maxSteps, s);
}