svoid restartInAndSleep(double seconds) {
  sleepSeconds(seconds);
  restart();
  sleep();
}