1
2int main() {
3 int s__state ;
4 int s__hit ;
5 int blastFlag ;
6 int tmp___1;
7
8 s__state = 8466;
9 blastFlag = 0;
10
11 while (1) {
12 if (s__state <= 8512 && blastFlag > 2) { goto ERROR; }
13 {
14 {
15 {
16 {
17 {
18 if (s__state == 8466) {
19 goto switch_1_8466;
20 } else {
21 {
22 {
23 if (s__state == 8512) {
24 goto switch_1_8512;
25 } else {
26 {
27 {
28 {
29 {
30 {
31 {
32 {
33 {
34 {
35 {
36 {
37 {
38 {
39 if (s__state == 8640) {
40 goto switch_1_8640;
41 } else {
42 {
43 if (s__state == 8656) {
44 goto switch_1_8656;
45 } else {
46 {
47 {
48 goto end;
49
50 switch_1_8466:
51 if (blastFlag == 0) {
52 blastFlag = 2;
53 }
54 if (s__hit) {
55 s__state = 8656;
56 } else {
57 s__state = 8512;
58 }
59 goto switch_1_break;
60
61 switch_1_8512:
62 tmp___1 = __VERIFIER_nondet_int();
63 if (tmp___1) {
64 s__state = 8466;
65 } else {
66 s__state = 8640;
67 }
68 goto switch_1_break;
69
70 switch_1_8640:
71 if (blastFlag == 3) {
72 blastFlag = 4;
73 }
74 if (s__hit) {
75 goto end;
76 } else {
77 s__state = 8656;
78 }
79 goto switch_1_break;
80
81 switch_1_8656:
82 if (blastFlag == 2) {
83 blastFlag = 3;
84 }
85
86 if (blastFlag == 4) {
87 blastFlag = 5;
88 } else {
89 if (blastFlag == 5) {
90 goto ERROR;
91 }
92 }
93 if (s__hit) {
94 s__state = 8640;
95 } else {
96 goto end;
97 }
98 goto switch_1_break;
99
100 }
101 }
102 }
103 }
104 }
105 }
106 }
107 }
108 }
109 }
110 }
111 }
112 }
113 }
114 }
115 }
116 }
117 }
118 }
119 }
120 }
121 }
122 }
123 }
124 }
125 }
126 }
127 switch_1_break: ;
128 }
129
130 end:
131 return (-1);
132 ERROR:
133 return (-1);
134}