A debugging tutorial

This section takes you through a simple debugging session.