The structure of the generated code includes model elements,
model maps, annotations and, if instrumented, instrumentation macros.
The code structures shown are generic, using generic names such as class and state.
Note: Annotations map code constructs to design constructs.
They play an important role in tracing between the two. Do not change
or remove annotations. If you do, you hinder tracing between the model
and the code. Annotations are comment lines starting with two slashes
and a pound sign (//# for C and C++) or two dashes
and a plus sign (--+ for Ada).
Instrumentation macros become hooks and utility
functions to serve the animation/trace framework. They are implemented
as macros to minimize the impact on the source code. If you remove
instrumentation macros, animation cannot work correctly.