5.3 Practice: debugging