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