anchor.diff:                           members))))
   
   (define-method "CREATE_ALIAS_TC" ((obj corba:typecodefactory) id name typecode)
  +  (check-tc-id id)
  +  (check-tc-name name)
  +  (check-tc-content-type typecode)
     (fix-recursive-tc (create-alias-tc id name typecode)))
   
   (define-method "CREATE_ENUM_TC" ((OBJ CORBA:TYPECODEFACTORY) id name members)
  +  (check-tc-id id)
  +  (check-tc-name name)
  +  (check-tc-member-names (coerce members 'list))
     (fix-recursive-tc (create-enum-tc id name members)))
   
   
   (define-method "CREATE_ABSTRACT_INTERFACE_TC" ((OBJ CORBA:TYPECODEFACTORY)
                                                  id name)
  +  (check-tc-id id)
  +  (check-tc-name name)
     (create-abstract-interface-tc id name))
   
   (define-method "CREATE_NATIVE_TC" ((OBJ CORBA:TYPECODEFACTORY) id name)
  +  (check-tc-id id)
  +  (check-tc-name name)
     (create-native-tc id name))
   
   (define-method "CREATE_VALUE_BOX_TC" ((OBJ CORBA:TYPECODEFACTORY)
                                         id name boxed_type)
  +  (check-tc-id id)
  +  (check-tc-name name)
  +  (check-tc-content-type boxed_type)
     (fix-recursive-tc (create-value-box-tc id name boxed_type)))
   
   (DEFINE-ALIAS OMG.ORG/CORBA:VALUEMODIFIER
  
positive.code: ;; :ID "IDL:omg.org/CORBA/TypeCodeFactory:1.0"
  ;; :NAME "TypeCodeFactory")
  
  
  
  (define-method "CREATE_RECURSIVE_TC" ((obj corba:typecodefactory) id)
  
negative.code: (define-method "CREATE_STRING_TC" ((OBJ CORBA:TYPECODEFACTORY) bound)
    (create-string-tc bound))
  
  
  
  (define-method "CREATE_INTERFACE_TC" ((OBJ CORBA:TYPECODEFACTORY) id name)
    (check-tc-id id)
    (check-tc-name name)
    (fix-recursive-tc (create-interface-tc id name)))
  
  (define-method "CREATE_EXCEPTION_TC" ((obj corba:typecodefactory) id name members)
    (check-tc-id id)
    (check-tc-name name)
    (fix-recursive-tc (create-exception-tc id name (simple-struct-members members))))
  
  (define-method "CREATE_STRUCT_TC" ((obj corba:typecodefactory) id name members)
    (check-tc-id id)
    (check-tc-name name)
    (fix-recursive-tc (create-struct-tc id name (simple-struct-members members))))
  
  (defun simple-struct-members (members)
    (check-tc-member-names (map 'list 'op:name members))
    (map 'vector (lambda (m) 
                   (check-tc-content-type (op:type m))
                   (list (op:name m) (op:type m)))
         members))
  
  
  (define-method "CREATE_UNION_TC" ((obj corba:typecodefactory) 
                                    id name discriminator-type members)
    (check-tc-id id)
    (check-tc-name name)
    (check-tc-member-names (map 'list 'op:name members))
    (fix-recursive-tc
     (create-union-tc id name discriminator-type 
                      (map 'list
                           (lambda (member)
                             (check-tc-content-type (op:type member))
                             (let* ((label (op:label member))
                                    (label-value (any-value label)))
                               (list (if (and (eq :tk_octet (any-typecode label))
  