Code generation is available for Java and Eiffel. A direct production of C code will also be possible. Here is an example of the code produced from this example.