Even more Ex. 4 debugging