anchor.diff:         #+allegro cl-user::*restart-actions*
          #+cmu     ext:*after-save-initializations*
          #+mcl     ccl:*lisp-startup-functions*
  -       #+sbcl    sb-int:*after-save-initializations*)
  +       #+sbcl    sb-ext:*init-hooks*)
   
   (format t "~2%To bootstrap, run (boot)~%")
   (format t "~%That will run :sw /Applications/Specware/Specware4~2%")
  
positive.code: (setq comp:*cltl1-compile-file-toplevel-compatibility-p* t) ; default is WARN, which would be very noisy
  #+allegro
  (setq excl:*record-source-file-info* nil) ; workaround for annoying bug
  #+cmu
  (setq ext:*gc-verbose* nil)
  #+cmu
  (setq extensions:*bytes-consed-between-gcs* (* 2 50331648))
  #+sbcl
  (setf (sb-ext:bytes-consed-between-gcs) 50331648)
  #+cmu
  (setq extensions:*efficiency-note-cost-threshold* 30)
  #+sbcl
  (setq sb-ext:*efficiency-note-cost-threshold* 30)
  #+cmu
  (setq c::*compile-print* nil)
  #+sbcl
  (setq sb-ext::*compile-print* nil)
  #+sbcl
  
negative.code:        #+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
  ;;; TODO: Why?  
  