Red stage of TDD