example of generated C code (jtc 0.3)