anchor.diff:  
     ;; FIXME -
     ;; - Retain documentation from the original LAMBDA* definition
  -  ;; - Revise the return semantics of WITH-ENCAPSULATED-CONDITIONS - "MV-APPEND"
  +  ;; - 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)))
  
positive.code:                   (,%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:
  ;; (lambda* (&key ((((unreachable))))  (funcall #:fail)))
  
negative.code: (with-encapsulated-conditions (warning error)
    ;; ^ DNW insofar as capturing the CERROR after interactive 'continue' :
    (warn "FROB")
    ;; FIXME - the following CERROR call may be evaluated twice, seen in:
    ;;  - CCL w/ SLIME inline eval
    ;;  - CCL w/ SLIME REPL
    ;;  - SBCL, similarly
    (cerror "FROB" (make-condition 'condition))
    12332
    )
  