Examples of BDD for C++ using the Igloo testing framework