svoid shutDownComputer() {
  linux_shutdown();
}