anchor.diff:  		    )
          sb-ext:*init-hooks*)
   
  -;;; Clear load environment vars
  -;;; TODO: Why?  
  -;;;       The built image presumably will create a new environemnt lisp when it starts,
  -;;;       so it's not clear what this accomplishes.
  -;;; #+cmu
  -;;; (progn (setq ext:*environment-list* ())
  -;;;        (setq lisp::lisp-environment-list ()))
  -
   ;;; Set temporaryDirectory at startup
  -(push  'setTemporaryDirectory 
  -        #+allegro cl-user::*restart-actions*
  -        #+cmu     ext:*after-save-initializations*
  -        #+mcl     ccl:*lisp-startup-functions*
  -        #+sbcl    sb-ext:*init-hooks*)
  -
  -; #+sbcl
  -; (push #'(lambda () (format t "~2%Starting GC...")
  -; 		   (sb-ext:gc :full t)
  -; 		   (format t "~%Finishing GC..."))
  -;       sb-ext:*init-hooks*)
  +(push 'setTemporaryDirectory 
  +      #+allegro cl-user::*restart-actions*
  +      #+cmu     ext:*after-save-initializations*
  +      #+mcl     ccl:*lisp-startup-functions*
  +      #+sbcl    sb-ext:*init-hooks*)
   
   (defvar *using-slime-interface?* t)
   (when *using-slime-interface?*
  
positive.code: (defun cl-user::boot ()
    (let ((val (cl-user::swl "/Applications/Specware/Specware4")))
      (unless val
        (emacs::eval-in-emacs "(delete-continuation)"))
      val)
    )
  
  
negative.code: 
  ;(handler-bind ((warning #'ignore-warning))
    (map 'list #'(lambda (file)
  		 (compile-and-load-lisp-file (in-specware-dir file)))
         SpecwareRuntime
         );)
  