anchor.diff:  
   (handler-bind ((warning #'ignore-warning))
     (load (make-pathname
  -	 :defaults (in-specware-dir "Provers/Snark/Handwritten/Lisp/snark-system")
  -	 :type     "lisp")))
  +         :defaults (in-specware-dir "Provers/Snark/Handwritten/Lisp/snark-system")
  +         :type     "lisp")))
   
   (format t "Loading Snark.")
   (handler-bind ((warning #'ignore-warning))
     (cl-user::make-or-load-snark-system))
   (format t "~%Finished loading Snark.")
  -
  -(declaim (optimize (speed 3) (debug 2) (safety 1)))
  +(finish-output t)
  +
  +(declaim (optimize (speed 3) (debug #+sbcl 3 #-sbcl 2) (safety 1)))
   
   ;; Snark puts us in another package .. so we go back
   (in-package "SPECWARE")
  
positive.code: (defpackage "SPECWARE" (:use "CL"))   ; Most systems default to this but not sbcl until patch loaded below
  (in-package "SPECWARE")
  
  (declaim (optimize (speed 3) (debug 2) (safety 1) #+cmu(c::brevity 3)))
  
  (setq *load-verbose* nil)		; Don't print loaded file messages
  (setq *compile-verbose* nil)		; or lisp compilation
  
negative.code: 	       "(delete-continuation)"))
      val)
    )
  
  (declaim (optimize (speed 2) (debug 3) (safety 2)))
  