A quick exercise in TDD