CORBA35 — TypeCodes defined in section 5.8.2

Summary: 1) The fill_in_recursive_sequence_tc method is intended to act
upon an existing "tk_value" TypeCode. The signature indicates
that it should return a TypeCode pointer.

What TypeCode is supposed to be returned ?
If the signature is in error, the specification should
be corrected – if not, the specification requires
some additional explanation as to which TypeCode
needs to be returned.