Example code for my book on TDD with Python