Listing 9 is based on the assumption that the compiler optimizes away the empty base classes.

The HC compiler will preprocess Listing 2 and, using the @xpath comments, generate the state-tracking code automatically.

Listing 5 is another for/in after compiler transformation, this time without a genericized type.