Exapmle code for a TDD lecture