Compiler from a simple imperative language to a Turing machine. An example for teaching next term.