anchor.diff:  	      (catch #+allegro 'tpl::top-level-break-loop
   		     #-allegro nil
   		(let ((form (read *standard-input* nil magic-eof-cookie)))
  +		  (when (symbolp form)
  +		    (setq form (intern (symbol-name form) sw-shell-pkg)))
   		  (cond ((member form '(quit exit))
   			 (setq exiting-lisp? t)
   			 (cl-user::exit))
  
positive.code:       ;; 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)))))
        (cl (with-break-possibility (cl-user::cl argstr)))
        (ld (with-break-possibility (cl-user::ld argstr)))
        (cf (cl-user::cf argstr))
  
negative.code:   `(progn (set-specware-shell nil)
  	  ,@fms))
  
  (defun lisp-value (val)
    (setq *** **
  	** *
  	* val)
    val)
  
  (defun process-sw-shell-command (command argstr)
    (if (and (consp command) (null argstr))
        (lisp-value (eval command))
      (case command
        (help (let ((cl-user::*sw-help-strings*
  		   (if *developer?*
  