 	 (slash-dir (sw::normalize-filename "/"))
 	 (world-name (concat bin-dir "/Specware4." *lisp-image-extension*)))
     (run-plain-lisp)
-    (sw:eval-in-lisp (format "(load %S)"
+    (sw:eval-in-lisp-no-value (format "(load %S)"
 			     (concat root-dir "/Applications/Handwritten/Lisp/load-utilities")))
-    (sw:eval-in-lisp (format "(specware::setenv \"SWPATH\" %S)"
+    (sw:eval-in-lisp-no-value (format "(specware::setenv \"SWPATH\" %S)"
 			     (concat (sw::normalize-filename root-dir)
 				     (if *windows-system-p* ";" ":")
 				     slash-dir)))
-    (sw:eval-in-lisp (format "(specware::setenv \"SPECWARE4\" %S)"
+    (sw:eval-in-lisp-no-value (format "(specware::setenv \"SPECWARE4\" %S)"
 			     (sw::normalize-filename root-dir)))
-    (sw:eval-in-lisp (format "(namestring (specware::change-directory %S))" dir))
+    (sw:eval-in-lisp-no-value (format "(namestring (specware::change-directory %S))" dir))
     (simulate-input-expression "(load \"Specware4.lisp\")")
     (continue-form-when-ready
      (`(build-specware4-continue (, root-dir) (, dir) (, bin-dir)

;;;		 (rename-file  \"bin/specware2000-new.world\" \"bin/specware2000.world\")
;;;		 \"Wrote a new bin/specware2000.world\")
;;;	\"Failed to build a new world!\")")
    )

(defun bootstrap-specware4 (in-current-dir?)
  (interactive "P")


(defun continue-form-when-ready (form)
  (setq *specware-continue-form* form)
  (set-process-sentinel (get-buffer-process *specware-buffer-name*)
			'continue-emacs-computation)
  (sw:exit-lisp))

(defun build-specware4 (in-current-dir?)
  (interactive "P")
