static void busySleepSeconds(double seconds) {
  long end = sysNow()+toMS(seconds);
  while (sysNow() < end) ping();
}