anchor.diff:                 ;; TBD - Wrapped/impl-specific binding for *DEBUGGER-HOOK*
                  ;; so as to capture all implementation-wrapped conditions
                  ;; under *BREAK-ON-SIGNALS*
  -               (progn ,@forms)
  -               (values ,@(mapcar
  +               (setq ,values (multiple-value-list (progn ,@forms)))
  +               (values ,values
  +                       ,@(mapcar
                             #'(lambda (spec)
                                 (destructuring-bind (typ . storage) spec
                                   (declare (ignore typ))
  
positive.code:   ;; FIXME
    ;;
    ;; TBD - Wrapping for *BREAK-ON-SIGNALS* and *DEBUGGER-HOOK*
    (with-symbols (register-condition c whence restart)
      (let ((tabl (mapcar #'(lambda (typ)
                              (declare (type symbol typ))
                              (cons typ
  
negative.code:                     (unless (find ,c (the (array t (*)) ,whence) :test #'eq)
                        (vector-push-extend ,c ,whence))))
             (let (#+NIL (*break-on-signals* (quote (or ,@types)))
                         ,values
                         )
               (handler-bind ,(mapcar #'(lambda (spec)
                                          (destructuring-bind (typ . storage) spec
  