svoid systemExit(int code) {
  System.exit(code);
}