45 	bool fail;  in ATF_TC_BODY()  local
52 	fail = true;  in ATF_TC_BODY()
55 	fail = false;  in ATF_TC_BODY()
57 	if (fail != false)  in ATF_TC_BODY()
60 	fail = true;  in ATF_TC_BODY()
63 	fail = false;  in ATF_TC_BODY()
65 	if (fail != false)  in ATF_TC_BODY()
68 	fail = true;  in ATF_TC_BODY()
71 	fail = false;  in ATF_TC_BODY()
73 	if (fail != false)  in ATF_TC_BODY()
76 	fail = true;  in ATF_TC_BODY()
79 	fail = false;  in ATF_TC_BODY()
81 	if (fail != false)  in ATF_TC_BODY()
84 	fail = true;  in ATF_TC_BODY()
87 	fail = false;  in ATF_TC_BODY()
89 	if (fail != false)  in ATF_TC_BODY()
92 	fail = true;  in ATF_TC_BODY()
95 	fail = false;  in ATF_TC_BODY()
97 	if (fail != false)  in ATF_TC_BODY()
100 	fail = true;  in ATF_TC_BODY()
103 	fail = false;  in ATF_TC_BODY()
105 	if (fail != false)  in ATF_TC_BODY()
108 	fail = true;  in ATF_TC_BODY()
111 	fail = false;  in ATF_TC_BODY()
113 	if (fail != false)  in ATF_TC_BODY()
116 	fail = true;  in ATF_TC_BODY()
119 	fail = false;  in ATF_TC_BODY()
121 	if (fail != false)  in ATF_TC_BODY()
124 	fail = true;  in ATF_TC_BODY()
127 	fail = false;  in ATF_TC_BODY()
129 	if (fail != false)  in ATF_TC_BODY()
132 	fail = true;  in ATF_TC_BODY()
135 	fail = false;  in ATF_TC_BODY()
137 	if (fail != false)  in ATF_TC_BODY()
140 	fail = true;  in ATF_TC_BODY()
143 	fail = false;  in ATF_TC_BODY()
145 	if (fail != false)  in ATF_TC_BODY()
148 	fail = true;  in ATF_TC_BODY()
151 	fail = false;  in ATF_TC_BODY()
153 	if (fail != false)  in ATF_TC_BODY()
156 	fail = true;  in ATF_TC_BODY()
159 	fail = false;  in ATF_TC_BODY()
161 	if (fail != false)  in ATF_TC_BODY()
164 	fail = true;  in ATF_TC_BODY()
167 	fail = false;  in ATF_TC_BODY()
169 	if (fail != false)  in ATF_TC_BODY()
172 	fail = true;  in ATF_TC_BODY()
175 	fail = false;  in ATF_TC_BODY()
177 	if (fail != false)  in ATF_TC_BODY()
180 	fail = true;  in ATF_TC_BODY()
183 	fail = false;  in ATF_TC_BODY()
185 	if (fail != false)  in ATF_TC_BODY()
188 	fail = true;  in ATF_TC_BODY()
191 	fail = false;  in ATF_TC_BODY()
193 	if (fail != false)  in ATF_TC_BODY()
196 	fail = true;  in ATF_TC_BODY()
199 	fail = false;  in ATF_TC_BODY()
201 	if (fail != false)  in ATF_TC_BODY()
204 	fail = true;  in ATF_TC_BODY()
207 	fail = false;  in ATF_TC_BODY()
209 	if (fail != false)  in ATF_TC_BODY()
212 	fail = true;  in ATF_TC_BODY()
215 	fail = false;  in ATF_TC_BODY()
217 	if (fail != false)  in ATF_TC_BODY()
220 	fail = true;  in ATF_TC_BODY()
223 	fail = false;  in ATF_TC_BODY()
225 	if (fail != false)  in ATF_TC_BODY()
228 	fail = true;  in ATF_TC_BODY()
231 	fail = false;  in ATF_TC_BODY()
233 	if (fail != false)  in ATF_TC_BODY()
236 	fail = true;  in ATF_TC_BODY()
239 	fail = false;  in ATF_TC_BODY()
241 	if (fail != false)  in ATF_TC_BODY()
244 	fail = true;  in ATF_TC_BODY()
247 	fail = false;  in ATF_TC_BODY()
250 	if (fail != false)  in ATF_TC_BODY()
253 	fail = true;  in ATF_TC_BODY()
256 	fail = false;  in ATF_TC_BODY()
259 	if (fail != false)  in ATF_TC_BODY()
262 	fail = true;  in ATF_TC_BODY()
265 	fail = false;  in ATF_TC_BODY()
268 	if (fail != false)  in ATF_TC_BODY()
271 	fail = true;  in ATF_TC_BODY()
274 	fail = false;  in ATF_TC_BODY()
277 	if (fail != false)  in ATF_TC_BODY()
280 	fail = true;  in ATF_TC_BODY()
283 	fail = false;  in ATF_TC_BODY()
286 	if (fail != false)  in ATF_TC_BODY()
289 	fail = true;  in ATF_TC_BODY()
292 	fail = false;  in ATF_TC_BODY()
295 	if (fail != false)  in ATF_TC_BODY()
298 	fail = true;  in ATF_TC_BODY()
301 	fail = false;  in ATF_TC_BODY()
304 	if (fail != false)  in ATF_TC_BODY()
307 	fail = true;  in ATF_TC_BODY()
310 	fail = false;  in ATF_TC_BODY()
313 	if (fail != false)  in ATF_TC_BODY()
316 	fail = true;  in ATF_TC_BODY()
319 	fail = false;  in ATF_TC_BODY()
322 	if (fail != false)  in ATF_TC_BODY()
325 	fail = true;  in ATF_TC_BODY()
328 	fail = false;  in ATF_TC_BODY()
331 	if (fail != false)  in ATF_TC_BODY()
334 	fail = true;  in ATF_TC_BODY()
337 	fail = false;  in ATF_TC_BODY()
340 	if (fail != false)  in ATF_TC_BODY()
343 	fail = true;  in ATF_TC_BODY()
346 	fail = false;  in ATF_TC_BODY()
349 	if (fail != false)  in ATF_TC_BODY()
352 	fail = true;  in ATF_TC_BODY()
355 	fail = false;  in ATF_TC_BODY()
358 	if (fail != false)  in ATF_TC_BODY()
361 	fail = true;  in ATF_TC_BODY()
364 	fail = false;  in ATF_TC_BODY()
367 	if (fail != false)  in ATF_TC_BODY()
370 	fail = true;  in ATF_TC_BODY()
373 	fail = false;  in ATF_TC_BODY()
376 	if (fail != false)  in ATF_TC_BODY()
379 	fail = true;  in ATF_TC_BODY()
382 	fail = false;  in ATF_TC_BODY()
385 	if (fail != false)  in ATF_TC_BODY()
388 	fail = true;  in ATF_TC_BODY()
391 	fail = false;  in ATF_TC_BODY()
394 	if (fail != false)  in ATF_TC_BODY()
397 	fail = true;  in ATF_TC_BODY()
400 	fail = false;  in ATF_TC_BODY()
403 	if (fail != false)  in ATF_TC_BODY()
406 	fail = true;  in ATF_TC_BODY()
409 	fail = false;  in ATF_TC_BODY()
412 	if (fail != false)  in ATF_TC_BODY()
415 	fail = true;  in ATF_TC_BODY()
418 	fail = false;  in ATF_TC_BODY()
421 	if (fail != false)  in ATF_TC_BODY()
424 	fail = true;  in ATF_TC_BODY()
427 	fail = false;  in ATF_TC_BODY()
430 	if (fail != false)  in ATF_TC_BODY()
433 	fail = true;  in ATF_TC_BODY()
436 	fail = false;  in ATF_TC_BODY()
439 	if (fail != false)  in ATF_TC_BODY()
442 	fail = true;  in ATF_TC_BODY()
445 	fail = false;  in ATF_TC_BODY()
448 	if (fail != false)  in ATF_TC_BODY()
451 	fail = true;  in ATF_TC_BODY()
454 	fail = false;  in ATF_TC_BODY()
457 	if (fail != false)  in ATF_TC_BODY()
460 	fail = true;  in ATF_TC_BODY()
463 	fail = false;  in ATF_TC_BODY()
466 	if (fail != false)  in ATF_TC_BODY()
469 	fail = true;  in ATF_TC_BODY()
472 	fail = false;  in ATF_TC_BODY()
475 	if (fail != false)  in ATF_TC_BODY()
478 	fail = true;  in ATF_TC_BODY()
481 	fail = false;  in ATF_TC_BODY()
484 	if (fail != false)  in ATF_TC_BODY()
487 	fail = true;  in ATF_TC_BODY()
490 	fail = false;  in ATF_TC_BODY()
493 	if (fail != false)  in ATF_TC_BODY()
496 	fail = true;  in ATF_TC_BODY()
499 	fail = false;  in ATF_TC_BODY()
502 	if (fail != false)  in ATF_TC_BODY()
505 	fail = true;  in ATF_TC_BODY()
508 	fail = false;  in ATF_TC_BODY()
511 	if (fail != false)  in ATF_TC_BODY()
514 	fail = true;  in ATF_TC_BODY()
517 	fail = false;  in ATF_TC_BODY()
520 	if (fail != false)  in ATF_TC_BODY()
523 	fail = true;  in ATF_TC_BODY()
526 	fail = false;  in ATF_TC_BODY()
529 	if (fail != false)  in ATF_TC_BODY()
532 	fail = true;  in ATF_TC_BODY()
535 	fail = false;  in ATF_TC_BODY()
538 	if (fail != false)  in ATF_TC_BODY()
541 	fail = true;  in ATF_TC_BODY()
544 	fail = false;  in ATF_TC_BODY()
547 	if (fail != false)  in ATF_TC_BODY()
550 	fail = true;  in ATF_TC_BODY()
553 	fail = false;  in ATF_TC_BODY()
556 	if (fail != false)  in ATF_TC_BODY()
559 	fail = true;  in ATF_TC_BODY()
562 	fail = false;  in ATF_TC_BODY()
565 	if (fail != false)  in ATF_TC_BODY()
568 	fail = true;  in ATF_TC_BODY()
571 	fail = false;  in ATF_TC_BODY()
574 	if (fail != false)  in ATF_TC_BODY()
577 	fail = true;  in ATF_TC_BODY()
580 	fail = false;  in ATF_TC_BODY()
583 	if (fail != false)  in ATF_TC_BODY()
586 	fail = true;  in ATF_TC_BODY()
589 	fail = false;  in ATF_TC_BODY()
592 	if (fail != false)  in ATF_TC_BODY()
595 	fail = true;  in ATF_TC_BODY()
598 	fail = false;  in ATF_TC_BODY()
601 	if (fail != false)  in ATF_TC_BODY()
604 	fail = true;  in ATF_TC_BODY()
607 	fail = false;  in ATF_TC_BODY()
610 	if (fail != false)  in ATF_TC_BODY()
613 	fail = true;  in ATF_TC_BODY()
616 	fail = false;  in ATF_TC_BODY()
619 	if (fail != false)  in ATF_TC_BODY()
622 	fail = true;  in ATF_TC_BODY()
625 	fail = false;  in ATF_TC_BODY()
628 	if (fail != false)  in ATF_TC_BODY()
631 	fail = true;  in ATF_TC_BODY()
634 	fail = false;  in ATF_TC_BODY()
637 	if (fail != false)  in ATF_TC_BODY()
640 	fail = true;  in ATF_TC_BODY()
643 	fail = false;  in ATF_TC_BODY()
646 	if (fail != false)  in ATF_TC_BODY()
649 	fail = true;  in ATF_TC_BODY()
652 	fail = false;  in ATF_TC_BODY()
655 	if (fail != false)  in ATF_TC_BODY()
658 	fail = true;  in ATF_TC_BODY()
661 	fail = false;  in ATF_TC_BODY()
664 	if (fail != false)  in ATF_TC_BODY()
667 	fail = true;  in ATF_TC_BODY()
670 	fail = false;  in ATF_TC_BODY()
673 	if (fail != false)  in ATF_TC_BODY()
676 	fail = true;  in ATF_TC_BODY()
679 	fail = false;  in ATF_TC_BODY()
682 	if (fail != false)  in ATF_TC_BODY()
685 	fail = true;  in ATF_TC_BODY()
688 	fail = false;  in ATF_TC_BODY()
691 	if (fail != false)  in ATF_TC_BODY()
694 	fail = true;  in ATF_TC_BODY()
697 	fail = false;  in ATF_TC_BODY()
700 	if (fail != false)  in ATF_TC_BODY()
703 	fail = true;  in ATF_TC_BODY()
706 	fail = false;  in ATF_TC_BODY()
709 	if (fail != false)  in ATF_TC_BODY()
712 	fail = true;  in ATF_TC_BODY()
715 	fail = false;  in ATF_TC_BODY()
718 	if (fail != false)  in ATF_TC_BODY()
721 	fail = true;  in ATF_TC_BODY()
724 	fail = false;  in ATF_TC_BODY()
727 	if (fail != false)  in ATF_TC_BODY()
730 	fail = true;  in ATF_TC_BODY()
733 	fail = false;  in ATF_TC_BODY()
736 	if (fail != false)  in ATF_TC_BODY()
739 	fail = true;  in ATF_TC_BODY()
742 	fail = false;  in ATF_TC_BODY()
745 	if (fail != false)  in ATF_TC_BODY()
748 	fail = true;  in ATF_TC_BODY()
751 	fail = false;  in ATF_TC_BODY()
754 	if (fail != false)  in ATF_TC_BODY()