anchor.diff:        ;; Non-user commands
         (set-base (cl-user::set-base argstr))
         (show-base-unit-id (cl-user::show-base-unit-id))
  -      ((lisp l) (let ((cl:*package* (find-package "CL-USER")))
  -		  (with-break-possibility (eval (read-from-string argstr)))))
  +      ((lisp l) (with-break-possibility (lisp-value (eval (read-from-string argstr)))))
         (cl (with-break-possibility (cl-user::cl argstr)))
         (ld (with-break-possibility (cl-user::ld argstr)))
         (cf (cl-user::cf argstr))
  
positive.code: 	      (catch #+allegro 'tpl::top-level-break-loop
  		     #-allegro nil
  		(let ((form (read *standard-input* nil magic-eof-cookie)))
  		  (cond ((member form '(quit exit))
  			 (setq exiting-lisp? t)
  			 (cl-user::exit))
  
negative.code: (defun specware-shell (exiting-lisp?)
    (let  ((magic-eof-cookie (cons :eof nil))
  	 (number-of-eofs 0)
  	 (cl:*package* cl:*package*)
  	 (sw-shell-pkg (find-package :SWShell))
  	 * ** ***
  	 ch)
      (emacs::eval-in-emacs "(set-comint-prompt)")
      (setq *emacs-eval-form-after-prompt* nil)
  