Demo code for the GCC workshop on Unit Test