More Ex. 4 debugging