anchor.diff:  ;; --
   
   (defmethod shared-initialize :after ((instance singleton) slots
  -                                     &rest initargs &key &allow-other-keys)
  +                                      &rest initargs &key &allow-other-keys)
     (declare (ignore initargs))
  +  ;; Ensure that the list of direct superclasses is initialized in a
  +  ;; manner appropriate for an instance of the class SINGLETON
     (when (or (eq slots t)
               (and (consp slots)
                    (find +direct-superclasses-slot+ (the cons slots)
                          :test #'eq)))
  +
       (let ((tgt-class (find-class 'singleton))
             (unused-class (find-class 'standard-object))
             (dsup (slot-value instance +direct-superclasses-slot+)))
         (declare (dynamic-extent tgt-class unused-class))
   
  -      (setq dsup
  -            (delete unused-class dsup :test #'eq))
  +      (setq dsup (delete unused-class dsup :test #'eq))
   
         (unless (some (lambda (c)
                         (find-class-in-precedence tgt-class c nil))
                       dsup)
           (setq dsup (cons tgt-class dsup)))
   
  -      #+NIL
  -      (warn "Frob in SHARED-INITIALIZE for ~S - DSUP ~S" instance dsup)
  -
         (setf (slot-value instance +direct-superclasses-slot+)
  -            dsup)
  -
  -      ;; NB
  -      (finalize-reachable instance))))
  +            dsup)))
  +  ;; Also ensure that the instance is finalized, so far as immediately possible
  +  (finalize-reachable instance))))
   
   
   ; Tests for Singleton Finalization - e.g
  
positive.code: ;; Contributors: Sean Champ - Initial Implementation
  ;;
  ;;------------------------------------------------------------------------------
  
  
  (in-package #:cl-user)
  
negative.code: 
  (in-package #:ltp/common/singleton)
  
  
  ;; NB/TD SINGLETON Extensions => MODEL [OUTLINE]
  ;; - MODEL @ LTP-SYS
  ;;   - MODEL @ LLVM
  ;;   - MODEL @ ASN.1
  