A sample HOL script corresponding to the fastwave PseudoC program.

Definitions taken from the find_waves_fast_in_HOL4_grammar.txt file,
making them break at the moment because they don't take change to
AssignVar into account.