<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_n21ghh0clcedakmd4ki8t9bvv1, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
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);
}