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