TDD examples