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