TAL Derivation of

Cyclone 1 Compiled to
1