following code samples in TDD book