small TDD example