anchor.diff:  ;;================================================================================
   
   #+sbcl (progn
  -	 (defvar *sbcl-home* (specware::getenv "SBCL_HOME")) ; see note above
  +	 (defvar *sbcl-home* (Specware::getenv "SBCL_HOME")) ; see note above
   	 (push  #'(lambda () 
   		    (setq sb-debug:*debug-beginner-help-p* nil)
   	            (setf (sb-ext:bytes-consed-between-gcs) 50331648)
  -		    (specware::setenv "SBCL_HOME" *sbcl-home*) ; see note above
  +		    (Specware::setenv "SBCL_HOME" *sbcl-home*) ; see note above
   		    )
   		sb-ext:*init-hooks*)
   	 )
  
positive.code:   (load utils)
    (compile-and-load-lisp-file utils))
  
  (defparameter Specware4 (substitute #\/ #\\ (specware::getenv "SPECWARE4")))
  
  (if (null Specware::Specware4)
      (warn "SPECWARE4 environment var not set")
  
negative.code:                 ))
  
  	    (setq sb-debug:*debug-beginner-help-p* nil)
  	    ;; Temporary because of race condition bug with slime
              ;; (setq *features* (remove :sb-thread *features*))
              )
  
  #+mcl     (progn
  	    (ccl:egc nil)		                                ; Turn off ephemeral gc as it is inefficient
  