Write a program TDD style