static void exit() {
  System.exit(0);
}