anchor.diff:  #+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"))
  +#+sbcl
  +(compile-and-load-lisp-file (in-specware-dir "/Applications/Handwritten/Lisp/sbcl-patch"))
   
   (defun ignore-warning (condition)
      (declare (ignore condition))
  
positive.code: (defpackage "SPECWARE" (:use "CL"))   ; Most systems default to this but not sbcl until patch loaded below
  (in-package "SPECWARE")
  
  (declaim (optimize (speed 3) (debug 2) (safety 1) #+cmu(c::brevity 3)))
  
  (setq *load-verbose* nil)		; Don't print loaded file messages
  (setq *compile-verbose* nil)		; or lisp compilation
  
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?  
  