1 #include <stdlib.h> 2 main()3 int main() 4 { 5 int a; 6 #pragma scop 7 a = 1; 8 #pragma endscop 9 if (a != 1) 10 return EXIT_FAILURE; 11 12 return EXIT_SUCCESS; 13 } 14