void
abort (void) {
  }