svoid windows_reboot() {
  backtickToConsole("shutdown -r -t 0");
}