anchor.diff:          `(lambda (,obj)
              (declare (type ,typname ,obj))
              ;; FIXME: standard objects typically cannot be printed readably.
  +           ;;
  +           ;; NB: Symbols can be bound within the lexical environment
  +           ;; in which the corresponding DEFUN form will be evaluated
  +           ;;
  +           ;; FIXME/TD: Bind *CLASS* and for each slot, *SLOT* in the
  +           ;; lexical environment in which this lambda form's body will
  +           ;; be evaluated, in the source forms produced from
  +           ;; PRINT-READER-FOR (??)
  +           ;; *OR* use reader macros in the printed representation
  +           ;; e.g #.(find-class (quote <class-name>))
  +           ;;     #.(find-slot (quote <slot-name>) (quote <class-name>))
              (let ((,cls ,class
                      #+NIL (load-time-value (find-class (quote ,typname))
                                             t)))
                (declare (dynamic-extent ,cls))
                (cond
                  ((eq (class-of ,obj) ,cls)
  +                (assert-slot-boundp ,the-readable-slot ,obj)
                   (standard-instance-access ,obj ,FIXME-TBD))
                  (t
                   (slot-value-using-class ,cls ,obj ,slot)))))))))
  
positive.code: 
  ;; ----
  ;;
  ;; Generalized unparser functions
  ;;
  
  (declaim (inline princ-symbol
                   princ-space))
  
  (defun* princ-symbol (s stream &optional pkg-p)
    ;; NB: If S is a string, it's assumed that any character in S such
    ;; that may be "Special" for a symbol name will have already been
    ;; escaped by the calling procedure.
    ;;
    ;; NB: This function will not perform any name mangling, vis a vis
    ;; character case.
  
negative.code: 
      (dolist (sl (class-slots %class))
        (declare (type effective-slot-definition sl))
        ;; NB: Each of these reader, writer printer forms should also
        ;; print an FTYPE declaration to the stream.
        (print-reader-for sl class stream)
        (print-writer-for sl class stream))
  
       ;; (write-char #\) stream)
       ;; (terpri stream)
  