Some code used to argue about TDD style