anchor.diff:        (progn
   	;; clear base names so adding defs for base ops won't complain
   	(SpecCalc::clearBaseNames_fromLisp nil)
  -	(let ((*swe-return-value?* t))
  -	  (swe "0")))
  +	(setq MSInterpreter::interpreterBaseSpec (sc-val interpreterBaseName)))
       ;; restore base names
       (SpecCalc::setBaseNames_fromLisp nil)))
   
  
positive.code:     (ensure-directories-exist tmp-dir)
      (with-open-file (s tmp-sw :direction :output :if-exists :supersede)
        (format s "spec~%")
        (when *swe-use-interpreter?*
  	(format s "  import ~A~%" "/Library/InterpreterBase")
  	(incf input-line-num))
        (when (not (null *current-swe-spec*))
  
negative.code:        (fboundp 'emacs::eval-with-emacs)
         (funcall 'emacs::eval-with-emacs "(sw-use-x-symbol?)")))
  
  (defvar interpreterBaseName "/Library/InterpreterBase")
  (defvar MSInterpreter::interpreterBaseSpec)
  
  ;; Specware::initializeInterpreterBaseAux is funcalled from 
  ;; Specware::initializeInterpreterBase-0 in Preface.lisp, which in turn is called from
  ;; intializeSpecware in Specware.sw
  