procedure Abort;
  extern;