The demo is for leraning the program code specification of C