Compiler works for trivial examples.
can compile non-trivial example.