Create counter_example.cpp