anchor.diff:  (defun in-specware-dir (file) (concatenate 'string *Specware-dir* file))
   
   #+cmu
  -;(without-package-locks     ;; add in version 19
  - (compile-and-load-lisp-file (in-specware-dir "Applications/Handwritten/Lisp/cmucl-patch")) ; )
  -;#+sbcl
  -;(compile-and-load-lisp-file (in-specware-dir "/Applications/Handwritten/Lisp/sbcl-patch"))
  +(compile-and-load-lisp-file (in-specware-dir "Applications/Handwritten/Lisp/cmucl-patch"))
  +#+sbcl
  +(compile-and-load-lisp-file (in-specware-dir "Applications/Handwritten/Lisp/sbcl-patch"))
   
   (defun ignore-warning (condition)
      (declare (ignore condition))
  
positive.code: #+allegro
  (push 'start-java-connection? excl:*restart-actions*)
  
  ;;; Load base in correct location
  (push  'Specware::initializeSpecware-0 
         #+allegro cl-user::*restart-actions*
         #+cmu     ext:*after-save-initializations*
         #+mcl     ccl:*lisp-startup-functions*
         #+sbcl    sb-ext:*init-hooks*)
  
  #+sbcl
  (push  #'(lambda () (setq sb-debug:*debug-beginner-help-p* nil)
  	            (setf (sb-ext:bytes-consed-between-gcs) 50331648))
         sb-ext:*init-hooks*)
  
  ;;; Clear load environment vars
  #+cmu
  (progn (setq ext:*environment-list* ())
         (setq lisp::lisp-environment-list ()))
  
  ;;; Set temporaryDirectory at startup
  (push  'setTemporaryDirectory 
         #+allegro cl-user::*restart-actions*
         #+cmu     ext:*after-save-initializations*
         #+mcl     ccl:*lisp-startup-functions*
         #+sbcl    sb-ext:*init-hooks*)
  
  (format t "~2%To bootstrap, run (boot)~%")
  (format t "~%That will run :sw /Applications/Specware/Specware4~2%")
  
negative.code: 
  (handler-bind ((warning #'ignore-warning))
    (load (make-pathname
           :defaults (in-specware-dir "Provers/Snark/Handwritten/Lisp/snark-system")
           :type     "lisp")))
  
  (format t "Loading Snark.")
  (handler-bind ((warning #'ignore-warning))
    (cl-user::make-or-load-snark-system))
  (format t "~%Finished loading Snark.")
  (finish-output t)
  
  (declaim (optimize (speed 3) (debug #+sbcl 3 #-sbcl 2) (safety 1)))
  
  ;; Snark puts us in another package .. so we go back
  (in-package "SPECWARE")
  