anchor.diff:      "Library/Legacy/Utilities/Handwritten/Lisp/Lisp.lisp"
       "Library/Legacy/DataStructures/Handwritten/Lisp/HashTable.lisp"
       "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"
  
positive.code: 	      (let ((sb-fasl:*fasl-file-type* "fasl"))
  		(require :sb-bsd-sockets)
  		(require :sb-introspect)
  		(require :sb-posix)))
  
  	    (setq sb-debug:*debug-beginner-help-p* nil)
  	    )
  
negative.code:     "Applications/Specware/Handwritten/Lisp/debug"
  
      ;; Specware Shell
      "Applications/Specware/Handwritten/Lisp/transform-shell" ; creates    MetaSlangRewriter package
      "Applications/Specware/Handwritten/Lisp/sw-shell"        ; references MetaSlangRewriter package
  
      ;; Test harness
      "Applications/Handwritten/Lisp/test-harness"
  