anchor.diff:    (multiple-value-bind (list constantp list-value) (loop-constant-fold-if-possible val)
       (let ((listvar var))
         (cond ((and var (symbolp var)) (loop-make-iteration-variable var list data-type))
  -	    (t (loop-make-variable (setq listvar (loop-gentemp)) list 'list)
  +	    (t (loop-make-variable (setq listvar (loop-gentemp)) list *loop-list-data-type*)
   	       (loop-make-iteration-variable var nil data-type)))
         (multiple-value-bind (list-step step-function) (loop-list-step listvar)
   	(declare #+(and (not LOOP-Prefer-POP) (not CLOE)) (ignore step-function))
  
positive.code: 
  
  (defmacro with-minimax-value (lm &body body)
    (let ((init (loop-typed-init (loop-minimax-type lm)))
  	(which (car (loop-minimax-operations lm)))
  	(infinity-data (loop-minimax-infinity-data lm))
  	(answer-var (loop-minimax-answer-variable lm))
  
negative.code:   (multiple-value-bind (list constantp list-value) (loop-constant-fold-if-possible val)
      (let ((listvar (loop-gentemp 'loop-list-)))
        (loop-make-iteration-variable var nil data-type)
        (loop-make-variable listvar list *loop-list-data-type*)
        (multiple-value-bind (list-step step-function) (loop-list-step listvar)
  	#-LOOP-Prefer-POP (declare (ignore step-function))
  	(let* ((first-endtest `(endp ,listvar))
  