tests/quick/se/10.mcf/ref/x86/linux/simple-atomic/mcf.out

()
500
()
499
()
498
()
496
()
495
()
494
()
493
()
492
()
491
()
490
()
489
()
488
()
487
()
486
()
484
()
482
()
481
()
480
()
479
()
478
()
477
()
476
()
475
()
474
()
473
()
472
()
471
()
469
()
468
()
467
()
466
()
465
()
464
()
463
()
462
()
461
()
460
()
459
()
458
()
457
()
455
()
454
()
452
()
451
()
450
()
449
()
448
()
446
()
445
()
444
()
443
()
442
()
440
()
439
()
438
()
436
()
435
()
433
()
432
()
431
()
428
()
427
()
425
()
424
()
423
()
420
()
419
()
416
()
414
()
413
()
412
()
407
()
406
()
405
()
404
()
403
()
402
()
401
()
400
()
399
()
398
()
396
()
395
()
393
()
392
()
390
()
389
()
388
()
387
()
386
()
385
()
384
()
383
()
382
()
381
()
380
()
379
()
377
()
375
()
374
()
373
()
372
()
371
()
370
()
369
()
368
()
366
()
365
()
364
()
362
()
361
()
360
()
359
()
358
()
357
()
356
()
355
()
354
()
352
()
350
()
347
()
344
()
342
()
341
()
340
()
339
()
338
()
332
()
325
()
320
***
345
()
319
***
497
()
318
***
349
()
317
***
408
()
316
***
324
()
315
***
328
()
314
***
335
()
313
***
378
()
312
***
426
()
311
***
411
()
304
***
343
()
303
***
417
()
302
***
485
()
301
***
363
()
300
***
376
()
299
***
333
()
292
***
337
()
291
***
409
()
290
***
421
()
289
***
437
()
288
***
430
()
287
***
348
()
286
***
326
()
284
()
282
***
308
()
279
***
297
***
305
()
278
()
277
***
307
()
276
***
296
()
273
()
271
()
265
()
246
***
267
()
245
***
280
()
244
***
391
()
243
***
330
()
242
***
456
()
241
***
346
()
240
***
483
()
239
***
260
()
238
***
261
()
237
***
262
***
294
()
236
***
253
()
229
***
397
()
228
***
298
()
227
***
415
()
226
***
264
()
224
***
232
()
222
***
233
()
217
***
250
()
211
***
331
()
210
***
394
()
209
***
410
()
208
***
321
()
207
***
327
()
206
***
309
()
199
***
259
()
198
***
219
()
197
***
220
()
195
***
429
()
194
***
470
()
193
***
274
()
191
***
203
()
190
***
263
()
189
215
***
230
()
188
***
266
***
295
()
182
***
329
()
181
***
351
()
180
***
441
()
179
***
453
()
178
***
418
()
177
***
353
()
176
***
422
()
175
***
225
***
255
()
174
***
269
()
173
***
214
()
172
***
186
()
171
***
447
()
170
***
270
***
306
()
169
***
336
()
168
***
285
()
165
***
249
()
146
***
154
()
143
***
334
()
142
***
216
***
257
()
141
***
167
***
251
()
140
***
162
***
293
()
139
***
158
()
137
***
166
***
201
()
136
***
160
()
134
***
221
()
132
***
213
()
131
***
187
()
129
***
235
()
128
***
153
()
127
***
156
()
126
***
159
***
218
()
125
***
155
()
124
***
157
()
123
***
152
()
116
***
135
***
163
()
115
***
133
***
204
***
248
()
114
***
192
***
212
()
113
***
268
()
112
***
367
()
111
***
272
()
110
***
434
()
109
***
323
()
108
***
281
()
107
***
144
***
148
()
106
***
275
()
105
***
196
***
254
()
104
***
138
***
161
()
103
***
310
()
102
***
223
***
252
()
80
()
70
()
69
()
68
()
66
()
64
()
62
***
256
()
61
***
93
()
59
***
120
()
58
()
57
***
183
()
55
()
54
()
52
***
147
()
51
***
118
()
50
***
83
()
49
***
98
()
48
***
99
()
47
()
46
***
184
()
45
***
121
()
44
()
43
***
88
()
42
***
122
()
41
***
91
()
40
***
96
()
38
***
100
()
37
***
149
()
36
***
74
()
35
***
258
()
34
***
151
()
33
***
85
()
32
()
31
***
94
()
30
***
97
()
29
***
90
()
28
***
89
()
27
***
92
()
26
***
72
***
247
()
25
***
86
()
24
***
82
()
23
***
87
***
117
()
22
***
76
***
119
()
21
***
84
()
20
***
78
()
19
***
73
()
18
***
81
()
17
***
65
()
16
***
63
***
101
()
15
***
71
()
14
***
75
()
13
***
322
()
12
***
77
()
11
***
283
()
10
***
79
()
9
***
145
***
150
()
8
***
67
()
7
***
60
***
231
()
6
***
56
***
234
()
5
***
164
***
202
()
4
***
53
()
3
***
130
***
185
***
200
()
2
***
205
()
1
***
39
***
95