A TDD demo using the Guess Number exercise