anchor.diff:  (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
  +#+cmu1
   (setq ext:*gc-verbose* nil)
  -#+cmu
  +#+cmu1
   (setq extensions:*bytes-consed-between-gcs* (* 2 50331648))
  -#+sbcl
  -(setf (sb-ext:bytes-consed-between-gcs) 50331648)
  -#+cmu
  +;;;#+sbcl
  +;;;(setf (sb-ext:bytes-consed-between-gcs) 50331648)
  +#+cmu1
   (setq extensions:*efficiency-note-cost-threshold* 30)
   #+sbcl
   (setq sb-ext:*efficiency-note-cost-threshold* 30)
  -#+cmu
  +#+cmu1
   (setq c::*compile-print* nil)
  +#+sbcl
  +(declaim (sb-ext:muffle-conditions sb-ext:compiler-note))
   #+sbcl
   (setq sb-ext::*compile-print* nil)
   #+sbcl
  
positive.code:        #+allegro cl-user::*restart-actions*
         #+cmu     ext:*after-save-initializations*
         #+mcl     ccl:*lisp-startup-functions*
         #+sbcl    sb-int:*after-save-initializations*)
  
  #+sbcl
  (push  #'(lambda () (setq sb-debug:*debug-beginner-help-p* nil)
  	            (setf (sb-ext:bytes-consed-between-gcs) 50331648))
         sb-int:*after-save-initializations*)
  
  ;;; Clear load environment vars
  ;;; TODO: Why?  
  
negative.code: #+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"))
  
  (defun ignore-warning (condition)
     (declare (ignore condition))
  