anchor.diff:    ;#+sbcl (setf (sb-ext:bytes-consed-between-gcs) (* 4 (sb-ext:bytes-consed-between-gcs)))
     (let ((cl:*print-pretty* nil)
           (val (and (cl-user::sw "/Applications/Specware/Specware4")
  -                  (progn (format t "Full garbage collection...")
  -                         (system-spec::garbageCollect t)
  +                  (progn ;(format t "Full garbage collection...")
  +                         ;(system-spec::garbageCollect t)
                            (terpri t)
                            (cl-user::swl "/Applications/Specware/Specware4")))))
       (unless val
  
positive.code:     "Library/Structures/Data/Maps/Handwritten/Lisp/MapAsSTHarray.lisp"
      "Library/Structures/Data/Maps/Handwritten/Lisp/MapAsBTHarray.lisp"
      "Library/Structures/Data/Maps/Handwritten/Lisp/MapAsBTVector.lisp"
      ;"Library/Structures/Data/Sets/Handwritten/Lisp/SetAsCachedHArray.lisp"
      "Library/Structures/Data/Sets/Handwritten/Lisp/SetAsSTHarray.lisp"
      "Library/Structures/Data/Monad/Handwritten/Lisp/State.lisp"
  
negative.code: 		(require :sb-posix)
                  (require :sb-cltl2)
  		; (require :sb-sprof)
                  (require :asdf)
                  (require :sb-grovel)
                  ))
  
  