Examples of programming Otter.
