TDD workshop sample code