static Timed returnTimedAfterWarmUp(double seconds default defaultWarmUpSeconds(), IF0 f) { ret returnTimedAfterWarmup(seconds, f); }