anchor.diff:  
   (defmethod generate-ifr-description ((tc null) symbol)
     ;; For Contained that hasn't got a TypeCode: 
  -  ;;  InterfaceDef, ModuleDef, OperationDef, AttributeDef
  +  ;;  ModuleDef, OperationDef, AttributeDef
     (multiple-value-bind (indicator value)
                          (get-properties (symbol-plist symbol) '(ifr-result ifr-type))
       (case indicator
  
positive.code:        (CORBA:OperationDescription
          :id (symbol-ifr-id symbol)
          :name (get symbol 'ifr-name)
          :version (get symbol 'ifr-version "1.0")
          :defined_in (symbol-ifr-parent-id symbol)
          :result value
          :mode (get symbol 'ifr-mode)
  
negative.code:   (let ((parent (get symbol 'ifr-parent)))
      (if parent (symbol-ifr-id parent) "")))
  
  (defun ifr-version (symbol)
    (get symbol 'ifr-version "1.0"))
  
  (defun ifr-kind (symbol)
    (case (get-properties (symbol-plist symbol) '(ifr-result ifr-type ifr-bases))
      (ifr-result :dk_operation)
      (ifr-type   :dk_attribute)
      (ifr-bases  :dk_interface)))
  
  
  (defmethod generate-ifr-description ((tc except-typecode) symbol)
    (corba:exceptiondescription
     :name (op:name tc)
     :id (op:id tc)
     :version (ifr-version symbol)
     :defined_in (symbol-ifr-parent-id symbol)
     :type tc))
  
  
  (defmethod generate-ifr-description ((tc objref-typecode) symbol)
    (let (opdesc atdesc)
  