little bits of example? code for lecture 12, Development II, Testing