examples for TDD workshop