anchor.diff:                    (,%functype ,(list 'quote functype)))
                (values (the ,functype ,%fn) ,%functype)))))))
   
  -;;   (funcall (car (lambda* () (declare (values (member 4))) (+ 1 3))))
  -
  -;;;; Note that this may be handled more effectively, in the redefinition:
  +;;   (funcall (lambda* () (declare (values (member 4))) (+ 1 3)))
  +
  +;;
  +;;;;
  +;;;; Note that this may be handled more effectively, in the LAMBDA*
  +;;;; redefinition ... under some implementations [CCL]
  +;;;;
  +;;
   ;; (lambda* (&key ((((unreachable))))  (funcall #:fail)))
  
positive.code:                ;; so as to capture all implementation-wrapped conditions
                 ;; under *BREAK-ON-SIGNALS*
                 (setq ,values (multiple-value-list (progn ,@forms)))
                 (values ,values
                         ,@(mapcar
                            #'(lambda (spec)
                                (destructuring-bind (typ . storage) spec
                                  (declare (ignore typ))
                                  `(coerce ,storage 'list)))
                          tabl))
                 )))))))
  
  #+NIL
  
negative.code: 
    ;; FIXME -
    ;; - Retain documentation from the original LAMBDA* definition
    ;; - Revise return form of WITH-ENCAPSULATED-CONDITIONS -> "MV-APPEND" [DONE]
    ;; - Note that the implementation may return effective duplicates of
    ;;   conditions produced in REPL evaluation of some calls to this
    ;;   redefined LAMBDA* - TBD, possible casual correlation due to
    ;;   inline compilation in the (COERCE LIST 'FUNCTION) call
  
    (with-symbols (%form %fn %functype)
      (let ((functype
             (unparse-ftype-function-declaration args body 'lambda* env)))
  