anchor.diff:     (lambda (c s)
        ;; Assumption: If this error occurs, the debugger should be able to
        ;; provide information about the lexical environment in which the
  -     ;; error occurred
  +     ;; error occurred.
        ;;
        ;; TBD: Portable representation for implementation-specific lexical
        ;; environment definitions, in LTP/Common
  -     (format s  "~<No binding availble for ~s~>"
  +     (format s  "~<No binding available for ~s~>"
                (cell-error-name c)))))
   
   ;; (error 'no-binding :name (make-symbol "_FrobP"))
  
positive.code:        ;;
         ;; Susbq, return information for S, from the global environment.
         ;;
         ;; Assumption The globl binding state of the symbol has been
         ;; verified, previous to the following.
         ;;
         (sb-kernel:type-specifier (sb-int:info :variable :type s)))
  
negative.code: #+SBCL
  (defun find-lvar (name env)
    ;; NB: Roughly analogous to (sb-int:info :variable :type name)
    ;; but applied for access to binding information in the lexical
    ;; environmnent ENV
    (declare (type symbol name)
             (type sb-kernel:lexenv env)
             (values &optional sb-c::lambda-var))
  