anchor.diff:          (emit-rest-list lambda arg-registers)))
       ;; No longer in argument setup mode, switch over to normal GC info.
       (emit-gc-info)
  -    (let* ((code-tag (let ((*for-value* (if *perform-tce* :tail :multiple)))
  -                       (cg-form `(progn ,@(lambda-information-body lambda))))))
  +    (let ((code-tag (let ((*for-value* (if *perform-tce* :tail :multiple)))
  +                      (cg-form `(progn ,@(lambda-information-body lambda))))))
         (when code-tag
  -        (unless (eql code-tag :multiple)
  -          (load-in-r8 code-tag t)
  -          (emit `(sys.lap-x86:mov32 :ecx ,(fixnum-to-raw 1))))
  +        (load-multiple-values code-tag)
  +        (when *used-dynamic-extent*
  +          (flush-data-registers (eql code-tag :multiple)))
           (emit `(sys.lap-x86:leave)
                 `(:gc :no-frame)
                 `(sys.lap-x86:ret))))
  
positive.code:     (setf (aref *stack-values* rest-head) nil
            (aref *stack-values* rest-tail) nil)))
  
  (defun cg-form (form)
    (flet ((save-tag (tag)
  	   (when (and tag *for-value* (not (keywordp tag)))
  
negative.code:            (let ((tagbody-tag (let ((*for-value* t))
                                  (cg-form (third form)))))
               (load-in-reg :rax tagbody-tag t)
               ;; Data registers must be flushed unconditionally here.
               ;; If this closure was called from a function with DX values
               ;; then there might still be livish DX values left over.
               (flush-data-registers nil)
               ;; RAX holds the tagbody info.
               (emit
                ;; Get R8 as well.
                `(sys.lap-x86:xor32 :r8d :r8d)
                ;; GO GO GO!
                `(sys.lap-x86:mov64 :rdx (:rax 0))
                `(sys.lap-x86:add64 :rdx (:rdx ,(* (position (second form)
                                                             (tagbody-information-go-tags
                                                              (go-tag-tagbody (second form))))
                                                   8)))
                `(sys.lap-x86:jmp :rdx)))))
      'nil))
  
  (defun branch-to (label))
  