anchor.diff:  	    (:optional ";; ensure-directories-exist: creating $TESTDIR/lisp/BBcol.lisp")
   	    (:optional "creating directory: $TESTDIR/lisp/")
   	    (:optional ";; Directory $TESTDIR/lisp/ does not exist, will create.")
  -	    (:optional "WARNING: Non-constructive def for String-Spec::explode")
  -	    (:optional "WARNING: Non-constructive def for List-Spec::definedOnInitialSegmentOfLength-2")
  +            (:optional ";;; Elaborating spec at $SPECWARE/Library/Base/List_Executable")
  +            (:optional "WARNING: Non-constructive def for List-Spec::lengthOfListFunction")
  +            (:optional "WARNING: Non-constructive def for List-Spec::definedOnInitialSegmentOfLength-2")
  +            (:optional "WARNING: Non-constructive def for Function-Spec::inverse-1-1")
  +            (:optional "WARNING: Non-constructive def for Function-Spec::surjective?")
  +            (:optional "WARNING: Non-constructive def for Function-Spec::injective?")
   	    (:optional "WARNING: Non-constructive def for Functions::wellFounded?")
   	    (:optional "WARNING: Non-constructive def for Functions::inverse-1-1")
   	    (:optional "WARNING: Non-constructive def for Functions::surjective?")
  
positive.code: 	    (:optional "WARNING: Non-constructive def for Integer-Spec::gcd-2")
  	    (:optional "WARNING: Non-constructive def for Integer-Spec::lcm-2")
  	    (:optional "WARNING: Non-constructive def for Char-Spec::ord")
              (:optional "WARNING: Non-constructive def for List-Spec::lengthOfListFunction")
              (:optional "WARNING: Non-constructive def for List-Spec::definedOnInitialSegmentOfLength-2")
              (:optional "WARNING: Non-constructive def for Function-Spec::inverse-1-1")
              (:optional "WARNING: Non-constructive def for Function-Spec::surjective?")
              (:optional "WARNING: Non-constructive def for Function-Spec::injective?")
  	    (:optional ";;; Suppressing generated def for Boolean-Spec::show")
  	    (:optional ";;; Suppressing generated def for Char-Spec::ord")
  	    (:optional ";;; Suppressing generated def for IntegerAux::|!-|")
  
negative.code: 	    (:optional ";;; Suppressing generated def for String-Spec::|!<|")
  	    (:optional ";;; Suppressing generated def for String-Spec::|!exists|")
  	    (:optional ";;; Suppressing generated def for String-Spec::|!map|")
  	    (:optional "")
  	    ))
   )
  