debugger example chapter 11