Testing Ex1.22 in a debugger