Hello, world! in TDD