anchor.diff:  
   (define-method "CREATE_VALUE_TC" ((OBJ CORBA:TYPECODEFACTORY)
                                         id name type_modifier concrete_base members)
  +  (check-tc-id id)
  +  (check-tc-name name)
     (fix-recursive-tc
      (create-value-tc id name type_modifier concrete_base
                       (simple-value-members members))))
   
   (defun simple-value-members (members)
  +  (check-tc-member-names (map 'list 'op:name members))
     (map 'vector
          (lambda (member)
  +         (check-tc-content-type (op:type member))
            (list (op:name member)
                  (op:type member)
                  (op:access member)))
          members))
   
   (define-method "CREATE_LOCAL_INTERFACE_TC" ((OBJ CORBA:TYPECODEFACTORY) id name)
  +  (check-tc-id id)
  +  (check-tc-name name)
     (create-local-interface-tc id name))
   
   
  
positive.code: 
  
  (define-method "CREATE_ARRAY_TC" ((obj corba:typecodefactory) length element_type)
    (create-array-tc length element_type))
  
  ;; Deprecated
  ;;(DEFINE-METHOD "CREATE_RECURSIVE_SEQUENCE_TC" ((obj corba:typecodefactory) bound _OFFSET))
  
  (DEFINE-METHOD "CREATE_SEQUENCE_TC" ((obj corba:typecodefactory) bound element_type)
    (create-sequence-tc bound element_type))
  
  (define-method "CREATE_FIXED_TC" ((obj corba:typecodefactory) digits scale)
  
negative.code: ;; :ID "IDL:omg.org/CORBA/TypeCodeFactory:1.0"
  ;; :NAME "TypeCodeFactory")
  
  (defun check-tc-id (id)
    "Check valid id for typecode.
  Should have form '<format>:<string>"
    (unless (and (stringp id)
                 (let ((colon (position #\: id)))
                   (and colon
                        (not (find-if-not #'alpha-char-p  id :end colon)))))
      (raise-system-exception 'CORBA:BAD_PARAM 16)))
  
  (defun check-tc-name (name &optional (minor 15))
    (unless (and (stringp name)
                 (loop for c across name
                       for i from 0
                       always (or (eql c #\_)
                                  (if (zerop i)
                                    (alpha-char-p c)
                                    (alphanumericp c)))))
      (raise-system-exception 'CORBA:BAD_PARAM minor)))
  
  (defun check-tc-member-names (names)
    (loop for tail on names do
          (check-tc-name (car tail) 17)
          (when (member (car tail) (cdr tail) :test #'equal)
            (raise-system-exception 'CORBA:BAD_PARAM 17))))
  
  
  (defun check-tc-content-type (type)
    (unless (and (typep type 'CORBA:TypeCode)
                 (not (member (op:kind type)
                         '(:tk_null :tk_void :tk_except t))))
      (raise-system-exception 'CORBA:BAD_TYPECODE 2)))
  
  
  
  (define-method "CREATE_RECURSIVE_TC" ((obj corba:typecodefactory) id)
  