svoid stepAllWithStats_multiThreaded(Steppable s) {
  if (s cast SplittableSteppable) {
    int cores = coresToUse();
    print("Have SplittableSteppable, cores=" + cores);
    if (cores > 1) {
      long n = 0;
      final MultiThreadStepper stepper = new(s.split(cores));
      print("Have stepper, n=" + l(stepper.steppables));
      final new Flag done;
      stepper.onDone(r {
        print(n2(stepper.steps(), "step") + " in " + stepper.elapsedTime + " ms on " + n2(stepper.cores, "core"));
        done.raise();
      });
      print("Starting stepper");
      stepper.start();
      done.waitUntilUp();
      ret;
    }
  }
  stepAllWithStats(s);
}