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