Debugging chapter 4