anchor.diff:    (let ((parent (get symbol 'ifr-parent)))
       (if parent (symbol-ifr-id parent) "")))
   
  -(defmethod generate-ifr-description ((tc except-typecode) symbol)
  -  (CORBA:EXCEPTIONDESCRIPTION
  -   :name (op:name tc)
  -   :id (op:id tc)
  -   :defined_in (symbol-ifr-parent-id symbol)
  -   :type tc))
  +(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)
  
positive.code:           finally (setq opdesc ops
                          atdesc ats))
      (corba:interfacedef/fullinterfacedescription
       :name (get symbol 'ifr-name)
       :id   (symbol-ifr-id symbol)
       :defined_in ""
       :version (get symbol 'ifr-version "1.0")
       :operations opdesc
       :attributes atdesc
       :base_interfaces (mapcar #'symbol-ifr-id (get symbol 'ifr-bases)) 
  
negative.code: 
  (defmethod generate-ifr-description ((tc null) symbol)
    ;; For Contained that hasn't got a TypeCode: 
    ;;  ModuleDef, OperationDef, AttributeDef
    (multiple-value-bind (indicator value)
                         (get-properties (symbol-plist symbol) '(ifr-result ifr-type))
      (case indicator
  