1int get_exit_nondet()
2{
3 int retval;
4 return (retval);
5}
6
7int main()
8{
9 int p1;
10 int lk1;
11
12 int p2;
13 int lk2;
14
15 int p3;
16 int lk3;
17
18 int p4;
19 int lk4;
20
21 int p5;
22 int lk5;
23
24 int p6;
25 int lk6;
26
27 int p7;
28 int lk7;
29
30 int p8;
31 int lk8;
32
33 int p9;
34 int lk9;
35
36
37 int cond;
38
39 while(1) {
40 cond = get_exit_nondet();
41 if (cond == 0) {
42 goto out;
43 } else {}
44 lk1 = 0;
45
46 lk2 = 0;
47
48 lk3 = 0;
49
50 lk4 = 0;
51
52 lk5 = 0;
53
54 lk6 = 0;
55
56 lk7 = 0;
57
58 lk8 = 0;
59
60 lk9 = 0;
61
62
63
64 if (p1 != 0) {
65 lk1 = 1;
66 } else {}
67
68 if (p2 != 0) {
69 lk2 = 1;
70 } else {}
71
72 if (p3 != 0) {
73 lk3 = 1;
74 } else {}
75
76 if (p4 != 0) {
77 lk4 = 1;
78 } else {}
79
80 if (p5 != 0) {
81 lk5 = 1;
82 } else {}
83
84 if (p6 != 0) {
85 lk6 = 1;
86 } else {}
87
88 if (p7 != 0) {
89 lk7 = 1;
90 } else {}
91
92 if (p8 != 0) {
93 lk8 = 1;
94 } else {}
95
96 if (p9 != 0) {
97 lk9 = 1;
98 } else {}
99
100
101
102 if (p1 != 0) {
103 if (lk1 != 1) goto ERROR;
104 lk1 = 0;
105 } else {}
106
107 if (p2 != 0) {
108 if (lk2 != 1) goto ERROR;
109 lk2 = 0;
110 } else {}
111
112 if (p3 != 0) {
113 if (lk3 != 1) goto ERROR;
114 lk3 = 0;
115 } else {}
116
117 if (p4 != 0) {
118 if (lk4 != 1) goto ERROR;
119 lk4 = 0;
120 } else {}
121
122 if (p5 != 0) {
123 if (lk5 != 1) goto ERROR;
124 lk5 = 0;
125 } else {}
126
127 if (p6 != 0) {
128 if (lk6 != 1) goto ERROR;
129 lk6 = 0;
130 } else {}
131
132 if (p7 != 0) {
133 if (lk7 != 1) goto ERROR;
134 lk7 = 0;
135 } else {}
136
137 if (p8 != 0) {
138 if (lk8 != 1) goto ERROR;
139 lk8 = 0;
140 } else {}
141
142 if (p9 != 0) {
143 if (lk9 != 1) goto ERROR;
144 lk9 = 0;
145 } else {}
146
147 }
148 out:
149 return 0;
150 ERROR:
151 return 0;
152}
153