Unions are supported in SST only with the explicit binding mapping. This is required so that marshaling can select the appropriate discriminator type when there are possibilities of non-determinism in dynamically deciding the IDL type of a Smalltalk object. The explicit binding is supported by the SstIdlUnion class, which supports the CORBAUnion protocol.