                                     specware-executable)))
       (if secondTime?
           (message "Failed to build Specware!")
-        (specware-build-command "(progn (cl:load %S) %s (cl-user::finish-output t) (cl-user::quit))"
+        (specware-build-command "(progn (cl:load %S) %s (cl-user::finish-output t) (sb-ext:exit))"
                                 specware4-loader
                                 (specware-build-eval-emacs-str "(specware-build %s t '%s)"
                                                                in-current-dir?

        (specware-build in-current-dir? nil 'boot)
      (progn (specware-build-command "%S --dynamic-space-size %S" specware-executable *sbcl-size*) 
             (sit-for 0.5)
             (specware-build-command "(progn (cl:time (cl-user::boot)) %s (cl-user::finish-output t) (cl-user::quit))"
                                     (specware-build-eval-emacs-str "(specware-build %s nil t)"
                                                                    in-current-dir?))))))


;		*sentinel-data*))
    (when sw-proc
      (set-process-sentinel sw-proc 'continue-emacs-computation)))
  (simulate-input-expression (exit-form))
  )

(defun exit-form ()
  (if (eq lisp-emacs-interface-type 'slime)
