svoid os_logOut() {
  if (isWindows())
    windows_logOut();
  else if (isLinux())
    linux_logOut();
  else
    fail("todo");
}