Added a example of assert in C