is to generate code
without the extra parameter on plaforms with native exceptions and with
the extra parameter in platforms without native exceptions. Use the -Ge
flag to override the defaults.</li>

<li>
We are now able to handle shared case labels and default label in unions.
In addition, whenever appropriate, we are also able to generate the "default
()" operation.</li>

<li>
We are now able to handle recursive types. We are also able to generate
optimized typecodes.</li>

<li>
Struct members of type st