Some TDD training in PHP