svoid sleepSecondsVerbose(double s) {
  if (s <= 0) ret;
  print("Sleeping for " + s);
  sleepSeconds(s);
}