Yet more debugging Ex. 3