svoid warmUp(double seconds default defaultWarmUpSeconds(), Runnable f) {
  if (f == null) ret;
  long endTime = sysNow()+toMS(seconds);
  while (sysNow() < endTime)
    f.run();
}