1 #include <stdio.h>
2 #include <assert.h>
3 
4 const char *hello_world = "Hello, assertion!";
5 
main(int argc,const char * argv[])6 int main(int argc, const char* argv[])
7 {
8     int *null_ptr = 0;
9     printf("%s\n", hello_world);
10     assert(null_ptr); // Assert here.
11 }
12