1 #include <assert.h> 2 main()3 int main() { 4 int a = 42; 5 assert(a == 42); 6 a--; 7 assert(a == 42); 8 return 0; 9 } 10