An Exercise on TDD