anchor.diff:    :show "TypeColimits#T_XY_YZ_ZR"
     :output '(";;; Elaborating spec-translation at $TESTDIR/TypeColimits#T_XY_YZ_ZR"
   	    (:optional "")
  -	    "spec  "
  -            (:optional "")
  -	    (:alternatives
  -	     (" type {R, Y, Z}")
  -	     (" type {R, Z, Y}")
  -	     (" type {Y, R, Z}")
  -	     (" type {Y, Z, R}")
  -	     (" type {Z, R, Y}")
  -	     (" type {Z, Y, R}"))
  +	    "spec"
  +            (:optional "")
  +	    (:alternatives
  +	     ("type {R, Y, Z}")
  +	     ("type {R, Z, Y}")
  +	     ("type {Y, R, Z}")
  +	     ("type {Y, Z, R}")
  +	     ("type {Z, R, Y}")
  +	     ("type {Z, Y, R}"))
               (:alternatives "endspec" "end-spec")
   	    (:optional "")
   	    (:optional ""))
  
positive.code:   :show "TypeColimits#T_XY_YX_ZY"
    :output '(";;; Elaborating spec-translation at $TESTDIR/TypeColimits#T_XY_YX_ZY"
  	    (:optional "")
  	    "spec  "
              (:optional "")
  	    (:alternatives
  	     (" type {X, Y}")
  	     (" type {Y, X}"))
              (:alternatives "endspec" "end-spec")
  	    (:optional "")
  	    (:optional ""))
  
negative.code:   :show "TypeColimits#T_XY_YP"
    :output '(";;; Elaborating spec-translation at $TESTDIR/TypeColimits#T_XY_YP"
  	    (:optional "")
  	    "spec"
              (:optional "")
  	    (:alternatives
  	     ("type {P, Y, Z}")
  	     ("type {P, Z, Y}")
  	     ("type {Y, P, Z}")
  	     ("type {Y, Z, P}")
  	     ("type {Z, P, Y}")
  	     ("type {Z, Y, P}"))
              (:alternatives "endspec" "end-spec")
  	    (:optional "")
  	    (:optional ""))
  