Finish preliminary debugging on an example

A simple example is added and the code is tentatively debugged based on
it.