anchor.diff:         ;;
          ;; Susbq, return information for S, from the global environment.
          ;;
  -       ;; Assumption The globl binding state of the symbol has been
  +       ;; Assumption The global binding state of the symbol has been
          ;; verified, previous to the following.
          ;;
          (sb-kernel:type-specifier (sb-int:info :variable :type s)))
  
positive.code:    (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
       ;;
       ;; TBD: Portable representation for implementation-specific lexical
       ;; environment definitions, in LTP/Common
       (format s  "~<No binding availble for ~s~>"
               (cell-error-name c)))))
  
  ;; (error 'no-binding :name (make-symbol "_FrobP"))
  
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))
  