svoid sleepWhile(IF0<Bool> pred, O... _) {
  optPar int interval = 50; // ms
  optPar double max = 10.0; // seconds
  long time = sysNow();
  while (sysNow() <= time+max && pred!)
    sleep(interval);
}