Code for TDD workshop