anchor.diff:  
   (defvar *last-swc-args* nil)
   
  -(defun swc (x &optional y)
  +(defun swc-internal (x &optional y)
      (Specware::evaluateCGen_fromLisp-2 x (if y (cons :|Some| y)
  -					  '(:|None|))))
  +					  '(:|None|)))
  +   (values))
  +
  +(defun swc (&optional args)
  +  (let ((r-args (if (not (null args))
  +		    (toplevel-parse-args args)
  +		  *last-swc-args*)))
  +    (if r-args
  +	(progn (setq *last-swc-args* r-args)
  +	       (swc-internal (string (first r-args))
  +			     (if (not (null (second r-args)))
  +				 (string (second r-args)) nil)))
  +      (format t "No previous unit evaluated~%"))))
  +
   #+allegro
   (top-level:alias ("swc" :case-sensitive) (&optional &rest args)
     (let ((r-args (if (not (null args))
  
positive.code: (defvar *current-swe-spec-dir* nil)
  (defvar swe::tmp)
  
  #+allegro
  (top-level:alias ("swe-spec" :case-sensitive :string) (x) 
    (unless (eq (elt x 0) #\/)
      (format t "~&coercing ~A to /~A~%" x x)
      (setq x (format nil "/~A" x)))
  
negative.code: 		  *last-swc-args*)))
      (if r-args
  	(progn (setq *last-swc-args* args)
  	       (funcall 'swc-internal (string (first r-args))
  			(if (not (null (second r-args)))
  			    (string (second r-args)) nil)))
        (format t "No previous unit evaluated~%"))))
  