A simple exercise in TDD