anchor.diff:  
   (defun (setf typecode-params) (params tc)
     (setf (slot-value tc 'params) params))
  +
  +(defgeneric compact-params (tc)
  +  (:method ((tc CORBA:TypeCode)) (typecode-params tc)))
   
   (defun typecode-smash (tc new-tc)
     (setf (slot-value tc 'kind) (slot-value new-tc 'kind)
  
positive.code:       do (setf (get (elt tckind i) 'tk-value) i)))
  
  
  
  (defun make-typecode (kind &rest params)
    (let ((class (if (eq kind :recursive)
  
negative.code:       (apply #'make-typecode (typecode-kind tc)
               (mapcar #'transform params)))))
  
  
  (defgeneric tc-members (tc))
  
  
  
  
  