Lecture 5 debugging