Concrete interpreter working on example.