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