anchor.diff:         (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
  
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:       (progn
  	;; clear base names so adding defs for base ops won't complain
  	(SpecCalc::clearBaseNames_fromLisp nil)
  	(setq MSInterpreter::interpreterBaseSpec (sc-val interpreterBaseName)))
      ;; restore base names
      (SpecCalc::setBaseNames_fromLisp nil)))
  
  