Demo code used for TDD training