svoid stepWithStats(Steppable s, long maxSteps) {
  stepMaxWithStats(s, maxSteps);
}



svoid stepWithStats(long maxSteps, Steppable s) {
  stepMaxWithStats(maxSteps, s);
}