Compiled example
----------------
![Example](control-flow-graph.png)