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

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