Some TDD practice