TDD example