TDD: red stage