svoid stepAllWithStats(Steppable s) { long n = 0; time { while (s.step()) ++n; } print(n2(n, "step") + " in " + lastTiming() + " ms"); }