Lecture 12 debugger example.