Examples of programming Otter.