anchor.diff:  (when *using-slime-interface?*
     `(defparameter ,(intern "*FASL-DIRECTORY*" "SWANK-LOADER")
        (format nil "~a/Library/IO/Emacs/slime/" 
  -	     (specware::getenv "SPECWARE4")))
  +	     (Specware::getenv "SPECWARE4")))
     (let ((loader (in-specware-dir "Library/IO/Emacs/slime/swank-loader.lisp")))
       (load loader :verbose t))
     )
  
positive.code: ;;================================================================================
  
  #+sbcl (progn
  	 (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
  		    )
  		sb-ext:*init-hooks*)
  	 )
  
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
  