Example of BDD and TDD code