unit-tests/test-cases/threaded-lazy-bind/main.c

   1 /*
   2  * Copyright (c) 2009 Apple Inc. All rights reserved.
   3  *
   4  * @APPLE_LICENSE_HEADER_START@
   5  *
   6  * This file contains Original Code and/or Modifications of Original Code
   7  * as defined in and that are subject to the Apple Public Source License
   8  * Version 2.0 (the 'License'). You may not use this file except in
   9  * compliance with the License. Please obtain a copy of the License at
  10  * http://www.opensource.apple.com/apsl/ and read it before using this
  11  * file.
  12  *
  13  * The Original Code and all software distributed under the License are
  14  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  15  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  16  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
  17  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  18  * Please see the License for the specific language governing rights and
  19  * limitations under the License.
  20  *
  21  * @APPLE_LICENSE_HEADER_END@
  22  */
  23 #include <stdio.h>  // fprintf(), NULL
  24 #include <stdlib.h> // exit(), EXIT_SUCCESS
  25 #include <string.h>
  26 #include <dlfcn.h>
  27 #include <pthread.h>
  28
  29 #include "test.h" // PASS(), FAIL(), XPASS(), XFAIL()
  30
  31 ///
  32 /// Test that lazy binding is thread safe
  33 ///
  34
  35 extern int do_000();
  36 extern int do_001();
  37 extern int do_002();
  38 extern int do_003();
  39 extern int do_004();
  40 extern int do_005();
  41 extern int do_006();
  42 extern int do_007();
  43 extern int do_008();
  44 extern int do_009();
  45 extern int do_010();
  46 extern int do_011();
  47 extern int do_012();
  48 extern int do_013();
  49 extern int do_014();
  50 extern int do_015();
  51 extern int do_016();
  52 extern int do_017();
  53 extern int do_018();
  54 extern int do_019();
  55 extern int do_020();
  56 extern int do_021();
  57 extern int do_022();
  58 extern int do_023();
  59 extern int do_024();
  60 extern int do_025();
  61 extern int do_026();
  62 extern int do_027();
  63 extern int do_028();
  64 extern int do_029();
  65 extern int do_030();
  66 extern int do_031();
  67 extern int do_032();
  68 extern int do_033();
  69 extern int do_034();
  70 extern int do_035();
  71 extern int do_036();
  72 extern int do_037();
  73 extern int do_038();
  74 extern int do_039();
  75 extern int do_040();
  76 extern int do_041();
  77 extern int do_042();
  78 extern int do_043();
  79 extern int do_044();
  80 extern int do_045();
  81 extern int do_046();
  82 extern int do_047();
  83 extern int do_048();
  84 extern int do_049();
  85 extern int do_050();
  86 extern int do_051();
  87 extern int do_052();
  88 extern int do_053();
  89 extern int do_054();
  90 extern int do_055();
  91 extern int do_056();
  92 extern int do_057();
  93 extern int do_058();
  94 extern int do_059();
  95 extern int do_060();
  96 extern int do_061();
  97 extern int do_062();
  98 extern int do_063();
  99 extern int do_064();
 100 extern int do_065();
 101 extern int do_066();
 102 extern int do_067();
 103 extern int do_068();
 104 extern int do_069();
 105 extern int do_070();
 106 extern int do_071();
 107 extern int do_072();
 108 extern int do_073();
 109 extern int do_074();
 110 extern int do_075();
 111 extern int do_076();
 112 extern int do_077();
 113 extern int do_078();
 114 extern int do_079();
 115 extern int do_080();
 116 extern int do_081();
 117 extern int do_082();
 118 extern int do_083();
 119 extern int do_084();
 120 extern int do_085();
 121 extern int do_086();
 122 extern int do_087();
 123 extern int do_088();
 124 extern int do_089();
 125 extern int do_090();
 126 extern int do_091();
 127 extern int do_092();
 128 extern int do_093();
 129 extern int do_094();
 130 extern int do_095();
 131 extern int do_096();
 132 extern int do_097();
 133 extern int do_098();
 134 extern int do_099();
 135 extern int do_100();
 136 extern int do_101();
 137 extern int do_102();
 138 extern int do_103();
 139 extern int do_104();
 140 extern int do_105();
 141 extern int do_106();
 142 extern int do_107();
 143 extern int do_108();
 144 extern int do_109();
 145 extern int do_110();
 146 extern int do_111();
 147 extern int do_112();
 148 extern int do_113();
 149 extern int do_114();
 150 extern int do_115();
 151 extern int do_116();
 152 extern int do_117();
 153 extern int do_118();
 154 extern int do_119();
 155 extern int do_120();
 156 extern int do_121();
 157 extern int do_122();
 158 extern int do_123();
 159 extern int do_124();
 160 extern int do_125();
 161 extern int do_126();
 162 extern int do_127();
 163 extern int do_128();
 164 extern int do_129();
 165 extern int do_130();
 166 extern int do_131();
 167 extern int do_132();
 168 extern int do_133();
 169 extern int do_134();
 170 extern int do_135();
 171 extern int do_136();
 172 extern int do_137();
 173 extern int do_138();
 174 extern int do_139();
 175 extern int do_140();
 176 extern int do_141();
 177 extern int do_142();
 178 extern int do_143();
 179 extern int do_144();
 180 extern int do_145();
 181 extern int do_146();
 182 extern int do_147();
 183 extern int do_148();
 184 extern int do_149();
 185 extern int do_150();
 186 extern int do_151();
 187 extern int do_152();
 188 extern int do_153();
 189 extern int do_154();
 190 extern int do_155();
 191 extern int do_156();
 192 extern int do_157();
 193 extern int do_158();
 194 extern int do_159();
 195 extern int do_160();
 196 extern int do_161();
 197 extern int do_162();
 198 extern int do_163();
 199 extern int do_164();
 200 extern int do_165();
 201 extern int do_166();
 202 extern int do_167();
 203 extern int do_168();
 204 extern int do_169();
 205 extern int do_170();
 206 extern int do_171();
 207 extern int do_172();
 208 extern int do_173();
 209 extern int do_174();
 210 extern int do_175();
 211 extern int do_176();
 212 extern int do_177();
 213 extern int do_178();
 214 extern int do_179();
 215 extern int do_180();
 216 extern int do_181();
 217 extern int do_182();
 218 extern int do_183();
 219 extern int do_184();
 220 extern int do_185();
 221 extern int do_186();
 222 extern int do_187();
 223 extern int do_188();
 224 extern int do_189();
 225 extern int do_190();
 226 extern int do_191();
 227 extern int do_192();
 228 extern int do_193();
 229 extern int do_194();
 230 extern int do_195();
 231 extern int do_196();
 232 extern int do_197();
 233 extern int do_198();
 234 extern int do_199();
 235 extern int do_200();
 236 extern int do_201();
 237 extern int do_202();
 238 extern int do_203();
 239 extern int do_204();
 240 extern int do_205();
 241 extern int do_206();
 242 extern int do_207();
 243 extern int do_208();
 244 extern int do_209();
 245 extern int do_210();
 246 extern int do_211();
 247 extern int do_212();
 248 extern int do_213();
 249 extern int do_214();
 250 extern int do_215();
 251 extern int do_216();
 252 extern int do_217();
 253 extern int do_218();
 254 extern int do_219();
 255 extern int do_220();
 256 extern int do_221();
 257 extern int do_222();
 258 extern int do_223();
 259 extern int do_224();
 260 extern int do_225();
 261 extern int do_226();
 262 extern int do_227();
 263 extern int do_228();
 264 extern int do_229();
 265 extern int do_230();
 266 extern int do_231();
 267 extern int do_232();
 268 extern int do_233();
 269 extern int do_234();
 270 extern int do_235();
 271 extern int do_236();
 272 extern int do_237();
 273 extern int do_238();
 274 extern int do_239();
 275 extern int do_240();
 276 extern int do_241();
 277 extern int do_242();
 278 extern int do_243();
 279 extern int do_244();
 280 extern int do_245();
 281 extern int do_246();
 282 extern int do_247();
 283 extern int do_248();
 284 extern int do_249();
 285 extern int do_250();
 286 extern int do_251();
 287 extern int do_252();
 288 extern int do_253();
 289 extern int do_254();
 290 extern int do_255();
 291 extern int do_256();
 292 extern int do_257();
 293 extern int do_258();
 294 extern int do_259();
 295 extern int do_260();
 296 extern int do_261();
 297 extern int do_262();
 298 extern int do_263();
 299 extern int do_264();
 300 extern int do_265();
 301 extern int do_266();
 302 extern int do_267();
 303 extern int do_268();
 304 extern int do_269();
 305 extern int do_270();
 306 extern int do_271();
 307 extern int do_272();
 308 extern int do_273();
 309 extern int do_274();
 310 extern int do_275();
 311 extern int do_276();
 312 extern int do_277();
 313 extern int do_278();
 314 extern int do_279();
 315 extern int do_280();
 316 extern int do_281();
 317 extern int do_282();
 318 extern int do_283();
 319 extern int do_284();
 320 extern int do_285();
 321 extern int do_286();
 322 extern int do_287();
 323 extern int do_288();
 324 extern int do_289();
 325 extern int do_290();
 326 extern int do_291();
 327 extern int do_292();
 328 extern int do_293();
 329 extern int do_294();
 330 extern int do_295();
 331 extern int do_296();
 332 extern int do_297();
 333 extern int do_298();
 334 extern int do_299();
 335 extern int do_300();
 336 extern int do_301();
 337 extern int do_302();
 338 extern int do_303();
 339 extern int do_304();
 340 extern int do_305();
 341 extern int do_306();
 342 extern int do_307();
 343 extern int do_308();
 344 extern int do_309();
 345 extern int do_310();
 346 extern int do_311();
 347 extern int do_312();
 348 extern int do_313();
 349 extern int do_314();
 350 extern int do_315();
 351 extern int do_316();
 352 extern int do_317();
 353 extern int do_318();
 354 extern int do_319();
 355 extern int do_320();
 356 extern int do_321();
 357 extern int do_322();
 358 extern int do_323();
 359 extern int do_324();
 360 extern int do_325();
 361 extern int do_326();
 362 extern int do_327();
 363 extern int do_328();
 364 extern int do_329();
 365 extern int do_330();
 366 extern int do_331();
 367 extern int do_332();
 368 extern int do_333();
 369 extern int do_334();
 370 extern int do_335();
 371 extern int do_336();
 372 extern int do_337();
 373 extern int do_338();
 374 extern int do_339();
 375 extern int do_340();
 376 extern int do_341();
 377 extern int do_342();
 378 extern int do_343();
 379 extern int do_344();
 380 extern int do_345();
 381 extern int do_346();
 382 extern int do_347();
 383 extern int do_348();
 384 extern int do_349();
 385 extern int do_350();
 386 extern int do_351();
 387 extern int do_352();
 388 extern int do_353();
 389 extern int do_354();
 390 extern int do_355();
 391 extern int do_356();
 392 extern int do_357();
 393 extern int do_358();
 394 extern int do_359();
 395 extern int do_360();
 396 extern int do_361();
 397 extern int do_362();
 398 extern int do_363();
 399 extern int do_364();
 400 extern int do_365();
 401 extern int do_366();
 402 extern int do_367();
 403 extern int do_368();
 404 extern int do_369();
 405 extern int do_370();
 406 extern int do_371();
 407 extern int do_372();
 408 extern int do_373();
 409 extern int do_374();
 410 extern int do_375();
 411 extern int do_376();
 412 extern int do_377();
 413 extern int do_378();
 414 extern int do_379();
 415 extern int do_380();
 416 extern int do_381();
 417 extern int do_382();
 418 extern int do_383();
 419 extern int do_384();
 420 extern int do_385();
 421 extern int do_386();
 422 extern int do_387();
 423 extern int do_388();
 424 extern int do_389();
 425 extern int do_390();
 426 extern int do_391();
 427 extern int do_392();
 428 extern int do_393();
 429 extern int do_394();
 430 extern int do_395();
 431 extern int do_396();
 432 extern int do_397();
 433 extern int do_398();
 434 extern int do_399();
 435 extern int do_400();
 436 extern int do_401();
 437 extern int do_402();
 438 extern int do_403();
 439 extern int do_404();
 440 extern int do_405();
 441 extern int do_406();
 442 extern int do_407();
 443 extern int do_408();
 444 extern int do_409();
 445 extern int do_410();
 446 extern int do_411();
 447 extern int do_412();
 448 extern int do_413();
 449 extern int do_414();
 450 extern int do_415();
 451 extern int do_416();
 452 extern int do_417();
 453 extern int do_418();
 454 extern int do_419();
 455 extern int do_420();
 456 extern int do_421();
 457 extern int do_422();
 458 extern int do_423();
 459 extern int do_424();
 460 extern int do_425();
 461 extern int do_426();
 462 extern int do_427();
 463 extern int do_428();
 464 extern int do_429();
 465 extern int do_430();
 466 extern int do_431();
 467 extern int do_432();
 468 extern int do_433();
 469 extern int do_434();
 470 extern int do_435();
 471 extern int do_436();
 472 extern int do_437();
 473 extern int do_438();
 474 extern int do_439();
 475 extern int do_440();
 476 extern int do_441();
 477 extern int do_442();
 478 extern int do_443();
 479 extern int do_444();
 480 extern int do_445();
 481 extern int do_446();
 482 extern int do_447();
 483 extern int do_448();
 484 extern int do_449();
 485 extern int do_450();
 486 extern int do_451();
 487 extern int do_452();
 488 extern int do_453();
 489 extern int do_454();
 490 extern int do_455();
 491 extern int do_456();
 492 extern int do_457();
 493 extern int do_458();
 494 extern int do_459();
 495 extern int do_460();
 496 extern int do_461();
 497 extern int do_462();
 498 extern int do_463();
 499 extern int do_464();
 500 extern int do_465();
 501 extern int do_466();
 502 extern int do_467();
 503 extern int do_468();
 504 extern int do_469();
 505 extern int do_470();
 506 extern int do_471();
 507 extern int do_472();
 508 extern int do_473();
 509 extern int do_474();
 510 extern int do_475();
 511 extern int do_476();
 512 extern int do_477();
 513 extern int do_478();
 514 extern int do_479();
 515 extern int do_480();
 516 extern int do_481();
 517 extern int do_482();
 518 extern int do_483();
 519 extern int do_484();
 520 extern int do_485();
 521 extern int do_486();
 522 extern int do_487();
 523 extern int do_488();
 524 extern int do_489();
 525 extern int do_490();
 526 extern int do_491();
 527 extern int do_492();
 528 extern int do_493();
 529 extern int do_494();
 530 extern int do_495();
 531 extern int do_496();
 532 extern int do_497();
 533 extern int do_498();
 534 extern int do_499();
 535 extern int do_500();
 536 extern int do_501();
 537 extern int do_502();
 538 extern int do_503();
 539 extern int do_504();
 540 extern int do_505();
 541 extern int do_506();
 542 extern int do_507();
 543 extern int do_508();
 544 extern int do_509();
 545 extern int do_510();
 546 extern int do_511();
 547 extern int do_512();
 548 extern int do_513();
 549 extern int do_514();
 550 extern int do_515();
 551 extern int do_516();
 552 extern int do_517();
 553 extern int do_518();
 554 extern int do_519();
 555 extern int do_520();
 556 extern int do_521();
 557 extern int do_522();
 558 extern int do_523();
 559 extern int do_524();
 560 extern int do_525();
 561 extern int do_526();
 562 extern int do_527();
 563 extern int do_528();
 564 extern int do_529();
 565 extern int do_530();
 566 extern int do_531();
 567 extern int do_532();
 568 extern int do_533();
 569 extern int do_534();
 570 extern int do_535();
 571 extern int do_536();
 572 extern int do_537();
 573 extern int do_538();
 574 extern int do_539();
 575 extern int do_540();
 576 extern int do_541();
 577 extern int do_542();
 578 extern int do_543();
 579 extern int do_544();
 580 extern int do_545();
 581 extern int do_546();
 582 extern int do_547();
 583 extern int do_548();
 584 extern int do_549();
 585 extern int do_550();
 586 extern int do_551();
 587 extern int do_552();
 588 extern int do_553();
 589 extern int do_554();
 590 extern int do_555();
 591 extern int do_556();
 592 extern int do_557();
 593 extern int do_558();
 594 extern int do_559();
 595 extern int do_560();
 596 extern int do_561();
 597 extern int do_562();
 598 extern int do_563();
 599 extern int do_564();
 600 extern int do_565();
 601 extern int do_566();
 602 extern int do_567();
 603 extern int do_568();
 604 extern int do_569();
 605 extern int do_570();
 606 extern int do_571();
 607 extern int do_572();
 608 extern int do_573();
 609 extern int do_574();
 610 extern int do_575();
 611 extern int do_576();
 612 extern int do_577();
 613 extern int do_578();
 614 extern int do_579();
 615 extern int do_580();
 616 extern int do_581();
 617 extern int do_582();
 618 extern int do_583();
 619 extern int do_584();
 620 extern int do_585();
 621 extern int do_586();
 622 extern int do_587();
 623 extern int do_588();
 624 extern int do_589();
 625 extern int do_590();
 626 extern int do_591();
 627 extern int do_592();
 628 extern int do_593();
 629 extern int do_594();
 630 extern int do_595();
 631 extern int do_596();
 632 extern int do_597();
 633 extern int do_598();
 634 extern int do_599();
 635 extern int do_600();
 636 extern int do_601();
 637 extern int do_602();
 638 extern int do_603();
 639 extern int do_604();
 640 extern int do_605();
 641 extern int do_606();
 642 extern int do_607();
 643 extern int do_608();
 644 extern int do_609();
 645 extern int do_610();
 646 extern int do_611();
 647 extern int do_612();
 648 extern int do_613();
 649 extern int do_614();
 650 extern int do_615();
 651 extern int do_616();
 652 extern int do_617();
 653 extern int do_618();
 654 extern int do_619();
 655 extern int do_620();
 656 extern int do_621();
 657 extern int do_622();
 658 extern int do_623();
 659 extern int do_624();
 660 extern int do_625();
 661 extern int do_626();
 662 extern int do_627();
 663 extern int do_628();
 664 extern int do_629();
 665 extern int do_630();
 666 extern int do_631();
 667 extern int do_632();
 668 extern int do_633();
 669 extern int do_634();
 670 extern int do_635();
 671 extern int do_636();
 672 extern int do_637();
 673 extern int do_638();
 674 extern int do_639();
 675 extern int do_640();
 676 extern int do_641();
 677 extern int do_642();
 678 extern int do_643();
 679 extern int do_644();
 680 extern int do_645();
 681 extern int do_646();
 682 extern int do_647();
 683 extern int do_648();
 684 extern int do_649();
 685 extern int do_650();
 686 extern int do_651();
 687 extern int do_652();
 688 extern int do_653();
 689 extern int do_654();
 690 extern int do_655();
 691 extern int do_656();
 692 extern int do_657();
 693 extern int do_658();
 694 extern int do_659();
 695 extern int do_660();
 696 extern int do_661();
 697 extern int do_662();
 698 extern int do_663();
 699 extern int do_664();
 700 extern int do_665();
 701 extern int do_666();
 702 extern int do_667();
 703 extern int do_668();
 704 extern int do_669();
 705 extern int do_670();
 706 extern int do_671();
 707 extern int do_672();
 708 extern int do_673();
 709 extern int do_674();
 710 extern int do_675();
 711 extern int do_676();
 712 extern int do_677();
 713 extern int do_678();
 714 extern int do_679();
 715 extern int do_680();
 716 extern int do_681();
 717 extern int do_682();
 718 extern int do_683();
 719 extern int do_684();
 720 extern int do_685();
 721 extern int do_686();
 722 extern int do_687();
 723 extern int do_688();
 724 extern int do_689();
 725 extern int do_690();
 726 extern int do_691();
 727 extern int do_692();
 728 extern int do_693();
 729 extern int do_694();
 730 extern int do_695();
 731 extern int do_696();
 732 extern int do_697();
 733 extern int do_698();
 734 extern int do_699();
 735 extern int do_700();
 736 extern int do_701();
 737 extern int do_702();
 738 extern int do_703();
 739 extern int do_704();
 740 extern int do_705();
 741 extern int do_706();
 742 extern int do_707();
 743 extern int do_708();
 744 extern int do_709();
 745 extern int do_710();
 746 extern int do_711();
 747 extern int do_712();
 748 extern int do_713();
 749 extern int do_714();
 750 extern int do_715();
 751 extern int do_716();
 752 extern int do_717();
 753 extern int do_718();
 754 extern int do_719();
 755 extern int do_720();
 756 extern int do_721();
 757 extern int do_722();
 758 extern int do_723();
 759 extern int do_724();
 760 extern int do_725();
 761 extern int do_726();
 762 extern int do_727();
 763 extern int do_728();
 764 extern int do_729();
 765 extern int do_730();
 766 extern int do_731();
 767 extern int do_732();
 768 extern int do_733();
 769 extern int do_734();
 770 extern int do_735();
 771 extern int do_736();
 772 extern int do_737();
 773 extern int do_738();
 774 extern int do_739();
 775 extern int do_740();
 776 extern int do_741();
 777 extern int do_742();
 778 extern int do_743();
 779 extern int do_744();
 780 extern int do_745();
 781 extern int do_746();
 782 extern int do_747();
 783 extern int do_748();
 784 extern int do_749();
 785 extern int do_750();
 786 extern int do_751();
 787 extern int do_752();
 788 extern int do_753();
 789 extern int do_754();
 790 extern int do_755();
 791 extern int do_756();
 792 extern int do_757();
 793 extern int do_758();
 794 extern int do_759();
 795 extern int do_760();
 796 extern int do_761();
 797 extern int do_762();
 798 extern int do_763();
 799 extern int do_764();
 800 extern int do_765();
 801 extern int do_766();
 802 extern int do_767();
 803 extern int do_768();
 804 extern int do_769();
 805 extern int do_770();
 806 extern int do_771();
 807 extern int do_772();
 808 extern int do_773();
 809 extern int do_774();
 810 extern int do_775();
 811 extern int do_776();
 812 extern int do_777();
 813 extern int do_778();
 814 extern int do_779();
 815 extern int do_780();
 816 extern int do_781();
 817 extern int do_782();
 818 extern int do_783();
 819 extern int do_784();
 820 extern int do_785();
 821 extern int do_786();
 822 extern int do_787();
 823 extern int do_788();
 824 extern int do_789();
 825 extern int do_790();
 826 extern int do_791();
 827 extern int do_792();
 828 extern int do_793();
 829 extern int do_794();
 830 extern int do_795();
 831 extern int do_796();
 832 extern int do_797();
 833 extern int do_798();
 834 extern int do_799();
 835 extern int do_800();
 836 extern int do_801();
 837 extern int do_802();
 838 extern int do_803();
 839 extern int do_804();
 840 extern int do_805();
 841 extern int do_806();
 842 extern int do_807();
 843 extern int do_808();
 844 extern int do_809();
 845 extern int do_810();
 846 extern int do_811();
 847 extern int do_812();
 848 extern int do_813();
 849 extern int do_814();
 850 extern int do_815();
 851 extern int do_816();
 852 extern int do_817();
 853 extern int do_818();
 854 extern int do_819();
 855 extern int do_820();
 856 extern int do_821();
 857 extern int do_822();
 858 extern int do_823();
 859 extern int do_824();
 860 extern int do_825();
 861 extern int do_826();
 862 extern int do_827();
 863 extern int do_828();
 864 extern int do_829();
 865 extern int do_830();
 866 extern int do_831();
 867 extern int do_832();
 868 extern int do_833();
 869 extern int do_834();
 870 extern int do_835();
 871 extern int do_836();
 872 extern int do_837();
 873 extern int do_838();
 874 extern int do_839();
 875 extern int do_840();
 876 extern int do_841();
 877 extern int do_842();
 878 extern int do_843();
 879 extern int do_844();
 880 extern int do_845();
 881 extern int do_846();
 882 extern int do_847();
 883 extern int do_848();
 884 extern int do_849();
 885 extern int do_850();
 886 extern int do_851();
 887 extern int do_852();
 888 extern int do_853();
 889 extern int do_854();
 890 extern int do_855();
 891 extern int do_856();
 892 extern int do_857();
 893 extern int do_858();
 894 extern int do_859();
 895 extern int do_860();
 896 extern int do_861();
 897 extern int do_862();
 898 extern int do_863();
 899 extern int do_864();
 900 extern int do_865();
 901 extern int do_866();
 902 extern int do_867();
 903 extern int do_868();
 904 extern int do_869();
 905 extern int do_870();
 906 extern int do_871();
 907 extern int do_872();
 908 extern int do_873();
 909 extern int do_874();
 910 extern int do_875();
 911 extern int do_876();
 912 extern int do_877();
 913 extern int do_878();
 914 extern int do_879();
 915 extern int do_880();
 916 extern int do_881();
 917 extern int do_882();
 918 extern int do_883();
 919 extern int do_884();
 920 extern int do_885();
 921 extern int do_886();
 922 extern int do_887();
 923 extern int do_888();
 924 extern int do_889();
 925 extern int do_890();
 926 extern int do_891();
 927 extern int do_892();
 928 extern int do_893();
 929 extern int do_894();
 930 extern int do_895();
 931 extern int do_896();
 932 extern int do_897();
 933 extern int do_898();
 934 extern int do_899();
 935 extern int do_900();
 936 extern int do_901();
 937 extern int do_902();
 938 extern int do_903();
 939 extern int do_904();
 940 extern int do_905();
 941 extern int do_906();
 942 extern int do_907();
 943 extern int do_908();
 944 extern int do_909();
 945 extern int do_910();
 946 extern int do_911();
 947 extern int do_912();
 948 extern int do_913();
 949 extern int do_914();
 950 extern int do_915();
 951 extern int do_916();
 952 extern int do_917();
 953 extern int do_918();
 954 extern int do_919();
 955 extern int do_920();
 956 extern int do_921();
 957 extern int do_922();
 958 extern int do_923();
 959 extern int do_924();
 960 extern int do_925();
 961 extern int do_926();
 962 extern int do_927();
 963 extern int do_928();
 964 extern int do_929();
 965 extern int do_930();
 966 extern int do_931();
 967 extern int do_932();
 968 extern int do_933();
 969 extern int do_934();
 970 extern int do_935();
 971 extern int do_936();
 972 extern int do_937();
 973 extern int do_938();
 974 extern int do_939();
 975 extern int do_940();
 976 extern int do_941();
 977 extern int do_942();
 978 extern int do_943();
 979 extern int do_944();
 980 extern int do_945();
 981 extern int do_946();
 982 extern int do_947();
 983 extern int do_948();
 984 extern int do_949();
 985 extern int do_950();
 986 extern int do_951();
 987 extern int do_952();
 988 extern int do_953();
 989 extern int do_954();
 990 extern int do_955();
 991 extern int do_956();
 992 extern int do_957();
 993 extern int do_958();
 994 extern int do_959();
 995 extern int do_960();
 996 extern int do_961();
 997 extern int do_962();
 998 extern int do_963();
 999 extern int do_964();
1000 extern int do_965();
1001 extern int do_966();
1002 extern int do_967();
1003 extern int do_968();
1004 extern int do_969();
1005 extern int do_970();
1006 extern int do_971();
1007 extern int do_972();
1008 extern int do_973();
1009 extern int do_974();
1010 extern int do_975();
1011 extern int do_976();
1012 extern int do_977();
1013 extern int do_978();
1014 extern int do_979();
1015 extern int do_980();
1016 extern int do_981();
1017 extern int do_982();
1018 extern int do_983();
1019 extern int do_984();
1020 extern int do_985();
1021 extern int do_986();
1022 extern int do_987();
1023 extern int do_988();
1024 extern int do_989();
1025 extern int do_990();
1026 extern int do_991();
1027 extern int do_992();
1028 extern int do_993();
1029 extern int do_994();
1030 extern int do_995();
1031 extern int do_996();
1032 extern int do_997();
1033 extern int do_998();
1034 extern int do_999();
1035
1036
1037 static void* work(void* ignore)
1038 {
1039         if ( do_000() != 0 ) { FAIL("iteration 0"); exit(0); }
1040         if ( do_001() != 1 ) { FAIL("iteration 1"); exit(0); }
1041         if ( do_002() != 2 ) { FAIL("iteration 2"); exit(0); }
1042         if ( do_003() != 3 ) { FAIL("iteration 3"); exit(0); }
1043         if ( do_004() != 4 ) { FAIL("iteration 4"); exit(0); }
1044         if ( do_005() != 5 ) { FAIL("iteration 5"); exit(0); }
1045         if ( do_006() != 6 ) { FAIL("iteration 6"); exit(0); }
1046         if ( do_007() != 7 ) { FAIL("iteration 7"); exit(0); }
1047         if ( do_008() != 8 ) { FAIL("iteration 8"); exit(0); }
1048         if ( do_009() != 9 ) { FAIL("iteration 9"); exit(0); }
1049         if ( do_010() != 10 ) { FAIL("iteration 10"); exit(0); }
1050         if ( do_011() != 11 ) { FAIL("iteration 11"); exit(0); }
1051         if ( do_012() != 12 ) { FAIL("iteration 12"); exit(0); }
1052         if ( do_013() != 13 ) { FAIL("iteration 13"); exit(0); }
1053         if ( do_014() != 14 ) { FAIL("iteration 14"); exit(0); }
1054         if ( do_015() != 15 ) { FAIL("iteration 15"); exit(0); }
1055         if ( do_016() != 16 ) { FAIL("iteration 16"); exit(0); }
1056         if ( do_017() != 17 ) { FAIL("iteration 17"); exit(0); }
1057         if ( do_018() != 18 ) { FAIL("iteration 18"); exit(0); }
1058         if ( do_019() != 19 ) { FAIL("iteration 19"); exit(0); }
1059         if ( do_020() != 20 ) { FAIL("iteration 20"); exit(0); }
1060         if ( do_021() != 21 ) { FAIL("iteration 21"); exit(0); }
1061         if ( do_022() != 22 ) { FAIL("iteration 22"); exit(0); }
1062         if ( do_023() != 23 ) { FAIL("iteration 23"); exit(0); }
1063         if ( do_024() != 24 ) { FAIL("iteration 24"); exit(0); }
1064         if ( do_025() != 25 ) { FAIL("iteration 25"); exit(0); }
1065         if ( do_026() != 26 ) { FAIL("iteration 26"); exit(0); }
1066         if ( do_027() != 27 ) { FAIL("iteration 27"); exit(0); }
1067         if ( do_028() != 28 ) { FAIL("iteration 28"); exit(0); }
1068         if ( do_029() != 29 ) { FAIL("iteration 29"); exit(0); }
1069         if ( do_030() != 30 ) { FAIL("iteration 30"); exit(0); }
1070         if ( do_031() != 31 ) { FAIL("iteration 31"); exit(0); }
1071         if ( do_032() != 32 ) { FAIL("iteration 32"); exit(0); }
1072         if ( do_033() != 33 ) { FAIL("iteration 33"); exit(0); }
1073         if ( do_034() != 34 ) { FAIL("iteration 34"); exit(0); }
1074         if ( do_035() != 35 ) { FAIL("iteration 35"); exit(0); }
1075         if ( do_036() != 36 ) { FAIL("iteration 36"); exit(0); }
1076         if ( do_037() != 37 ) { FAIL("iteration 37"); exit(0); }
1077         if ( do_038() != 38 ) { FAIL("iteration 38"); exit(0); }
1078         if ( do_039() != 39 ) { FAIL("iteration 39"); exit(0); }
1079         if ( do_040() != 40 ) { FAIL("iteration 40"); exit(0); }
1080         if ( do_041() != 41 ) { FAIL("iteration 41"); exit(0); }
1081         if ( do_042() != 42 ) { FAIL("iteration 42"); exit(0); }
1082         if ( do_043() != 43 ) { FAIL("iteration 43"); exit(0); }
1083         if ( do_044() != 44 ) { FAIL("iteration 44"); exit(0); }
1084         if ( do_045() != 45 ) { FAIL("iteration 45"); exit(0); }
1085         if ( do_046() != 46 ) { FAIL("iteration 46"); exit(0); }
1086         if ( do_047() != 47 ) { FAIL("iteration 47"); exit(0); }
1087         if ( do_048() != 48 ) { FAIL("iteration 48"); exit(0); }
1088         if ( do_049() != 49 ) { FAIL("iteration 49"); exit(0); }
1089         if ( do_050() != 50 ) { FAIL("iteration 50"); exit(0); }
1090         if ( do_051() != 51 ) { FAIL("iteration 51"); exit(0); }
1091         if ( do_052() != 52 ) { FAIL("iteration 52"); exit(0); }
1092         if ( do_053() != 53 ) { FAIL("iteration 53"); exit(0); }
1093         if ( do_054() != 54 ) { FAIL("iteration 54"); exit(0); }
1094         if ( do_055() != 55 ) { FAIL("iteration 55"); exit(0); }
1095         if ( do_056() != 56 ) { FAIL("iteration 56"); exit(0); }
1096         if ( do_057() != 57 ) { FAIL("iteration 57"); exit(0); }
1097         if ( do_058() != 58 ) { FAIL("iteration 58"); exit(0); }
1098         if ( do_059() != 59 ) { FAIL("iteration 59"); exit(0); }
1099         if ( do_060() != 60 ) { FAIL("iteration 60"); exit(0); }
1100         if ( do_061() != 61 ) { FAIL("iteration 61"); exit(0); }
1101         if ( do_062() != 62 ) { FAIL("iteration 62"); exit(0); }
1102         if ( do_063() != 63 ) { FAIL("iteration 63"); exit(0); }
1103         if ( do_064() != 64 ) { FAIL("iteration 64"); exit(0); }
1104         if ( do_065() != 65 ) { FAIL("iteration 65"); exit(0); }
1105         if ( do_066() != 66 ) { FAIL("iteration 66"); exit(0); }
1106         if ( do_067() != 67 ) { FAIL("iteration 67"); exit(0); }
1107         if ( do_068() != 68 ) { FAIL("iteration 68"); exit(0); }
1108         if ( do_069() != 69 ) { FAIL("iteration 69"); exit(0); }
1109         if ( do_070() != 70 ) { FAIL("iteration 70"); exit(0); }
1110         if ( do_071() != 71 ) { FAIL("iteration 71"); exit(0); }
1111         if ( do_072() != 72 ) { FAIL("iteration 72"); exit(0); }
1112         if ( do_073() != 73 ) { FAIL("iteration 73"); exit(0); }
1113         if ( do_074() != 74 ) { FAIL("iteration 74"); exit(0); }
1114         if ( do_075() != 75 ) { FAIL("iteration 75"); exit(0); }
1115         if ( do_076() != 76 ) { FAIL("iteration 76"); exit(0); }
1116         if ( do_077() != 77 ) { FAIL("iteration 77"); exit(0); }
1117         if ( do_078() != 78 ) { FAIL("iteration 78"); exit(0); }
1118         if ( do_079() != 79 ) { FAIL("iteration 79"); exit(0); }
1119         if ( do_080() != 80 ) { FAIL("iteration 80"); exit(0); }
1120         if ( do_081() != 81 ) { FAIL("iteration 81"); exit(0); }
1121         if ( do_082() != 82 ) { FAIL("iteration 82"); exit(0); }
1122         if ( do_083() != 83 ) { FAIL("iteration 83"); exit(0); }
1123         if ( do_084() != 84 ) { FAIL("iteration 84"); exit(0); }
1124         if ( do_085() != 85 ) { FAIL("iteration 85"); exit(0); }
1125         if ( do_086() != 86 ) { FAIL("iteration 86"); exit(0); }
1126         if ( do_087() != 87 ) { FAIL("iteration 87"); exit(0); }
1127         if ( do_088() != 88 ) { FAIL("iteration 88"); exit(0); }
1128         if ( do_089() != 89 ) { FAIL("iteration 89"); exit(0); }
1129         if ( do_090() != 90 ) { FAIL("iteration 90"); exit(0); }
1130         if ( do_091() != 91 ) { FAIL("iteration 91"); exit(0); }
1131         if ( do_092() != 92 ) { FAIL("iteration 92"); exit(0); }
1132         if ( do_093() != 93 ) { FAIL("iteration 93"); exit(0); }
1133         if ( do_094() != 94 ) { FAIL("iteration 94"); exit(0); }
1134         if ( do_095() != 95 ) { FAIL("iteration 95"); exit(0); }
1135         if ( do_096() != 96 ) { FAIL("iteration 96"); exit(0); }
1136         if ( do_097() != 97 ) { FAIL("iteration 97"); exit(0); }
1137         if ( do_098() != 98 ) { FAIL("iteration 98"); exit(0); }
1138         if ( do_099() != 99 ) { FAIL("iteration 99"); exit(0); }
1139         if ( do_100() != 100 ) { FAIL("iteration 100"); exit(0); }
1140         if ( do_101() != 101 ) { FAIL("iteration 101"); exit(0); }
1141         if ( do_102() != 102 ) { FAIL("iteration 102"); exit(0); }
1142         if ( do_103() != 103 ) { FAIL("iteration 103"); exit(0); }
1143         if ( do_104() != 104 ) { FAIL("iteration 104"); exit(0); }
1144         if ( do_105() != 105 ) { FAIL("iteration 105"); exit(0); }
1145         if ( do_106() != 106 ) { FAIL("iteration 106"); exit(0); }
1146         if ( do_107() != 107 ) { FAIL("iteration 107"); exit(0); }
1147         if ( do_108() != 108 ) { FAIL("iteration 108"); exit(0); }
1148         if ( do_109() != 109 ) { FAIL("iteration 109"); exit(0); }
1149         if ( do_110() != 110 ) { FAIL("iteration 110"); exit(0); }
1150         if ( do_111() != 111 ) { FAIL("iteration 111"); exit(0); }
1151         if ( do_112() != 112 ) { FAIL("iteration 112"); exit(0); }
1152         if ( do_113() != 113 ) { FAIL("iteration 113"); exit(0); }
1153         if ( do_114() != 114 ) { FAIL("iteration 114"); exit(0); }
1154         if ( do_115() != 115 ) { FAIL("iteration 115"); exit(0); }
1155         if ( do_116() != 116 ) { FAIL("iteration 116"); exit(0); }
1156         if ( do_117() != 117 ) { FAIL("iteration 117"); exit(0); }
1157         if ( do_118() != 118 ) { FAIL("iteration 118"); exit(0); }
1158         if ( do_119() != 119 ) { FAIL("iteration 119"); exit(0); }
1159         if ( do_120() != 120 ) { FAIL("iteration 120"); exit(0); }
1160         if ( do_121() != 121 ) { FAIL("iteration 121"); exit(0); }
1161         if ( do_122() != 122 ) { FAIL("iteration 122"); exit(0); }
1162         if ( do_123() != 123 ) { FAIL("iteration 123"); exit(0); }
1163         if ( do_124() != 124 ) { FAIL("iteration 124"); exit(0); }
1164         if ( do_125() != 125 ) { FAIL("iteration 125"); exit(0); }
1165         if ( do_126() != 126 ) { FAIL("iteration 126"); exit(0); }
1166         if ( do_127() != 127 ) { FAIL("iteration 127"); exit(0); }
1167         if ( do_128() != 128 ) { FAIL("iteration 128"); exit(0); }
1168         if ( do_129() != 129 ) { FAIL("iteration 129"); exit(0); }
1169         if ( do_130() != 130 ) { FAIL("iteration 130"); exit(0); }
1170         if ( do_131() != 131 ) { FAIL("iteration 131"); exit(0); }
1171         if ( do_132() != 132 ) { FAIL("iteration 132"); exit(0); }
1172         if ( do_133() != 133 ) { FAIL("iteration 133"); exit(0); }
1173         if ( do_134() != 134 ) { FAIL("iteration 134"); exit(0); }
1174         if ( do_135() != 135 ) { FAIL("iteration 135"); exit(0); }
1175         if ( do_136() != 136 ) { FAIL("iteration 136"); exit(0); }
1176         if ( do_137() != 137 ) { FAIL("iteration 137"); exit(0); }
1177         if ( do_138() != 138 ) { FAIL("iteration 138"); exit(0); }
1178         if ( do_139() != 139 ) { FAIL("iteration 139"); exit(0); }
1179         if ( do_140() != 140 ) { FAIL("iteration 140"); exit(0); }
1180         if ( do_141() != 141 ) { FAIL("iteration 141"); exit(0); }
1181         if ( do_142() != 142 ) { FAIL("iteration 142"); exit(0); }
1182         if ( do_143() != 143 ) { FAIL("iteration 143"); exit(0); }
1183         if ( do_144() != 144 ) { FAIL("iteration 144"); exit(0); }
1184         if ( do_145() != 145 ) { FAIL("iteration 145"); exit(0); }
1185         if ( do_146() != 146 ) { FAIL("iteration 146"); exit(0); }
1186         if ( do_147() != 147 ) { FAIL("iteration 147"); exit(0); }
1187         if ( do_148() != 148 ) { FAIL("iteration 148"); exit(0); }
1188         if ( do_149() != 149 ) { FAIL("iteration 149"); exit(0); }
1189         if ( do_150() != 150 ) { FAIL("iteration 150"); exit(0); }
1190         if ( do_151() != 151 ) { FAIL("iteration 151"); exit(0); }
1191         if ( do_152() != 152 ) { FAIL("iteration 152"); exit(0); }
1192         if ( do_153() != 153 ) { FAIL("iteration 153"); exit(0); }
1193         if ( do_154() != 154 ) { FAIL("iteration 154"); exit(0); }
1194         if ( do_155() != 155 ) { FAIL("iteration 155"); exit(0); }
1195         if ( do_156() != 156 ) { FAIL("iteration 156"); exit(0); }
1196         if ( do_157() != 157 ) { FAIL("iteration 157"); exit(0); }
1197         if ( do_158() != 158 ) { FAIL("iteration 158"); exit(0); }
1198         if ( do_159() != 159 ) { FAIL("iteration 159"); exit(0); }
1199         if ( do_160() != 160 ) { FAIL("iteration 160"); exit(0); }
1200         if ( do_161() != 161 ) { FAIL("iteration 161"); exit(0); }
1201         if ( do_162() != 162 ) { FAIL("iteration 162"); exit(0); }
1202         if ( do_163() != 163 ) { FAIL("iteration 163"); exit(0); }
1203         if ( do_164() != 164 ) { FAIL("iteration 164"); exit(0); }
1204         if ( do_165() != 165 ) { FAIL("iteration 165"); exit(0); }
1205         if ( do_166() != 166 ) { FAIL("iteration 166"); exit(0); }
1206         if ( do_167() != 167 ) { FAIL("iteration 167"); exit(0); }
1207         if ( do_168() != 168 ) { FAIL("iteration 168"); exit(0); }
1208         if ( do_169() != 169 ) { FAIL("iteration 169"); exit(0); }
1209         if ( do_170() != 170 ) { FAIL("iteration 170"); exit(0); }
1210         if ( do_171() != 171 ) { FAIL("iteration 171"); exit(0); }
1211         if ( do_172() != 172 ) { FAIL("iteration 172"); exit(0); }
1212         if ( do_173() != 173 ) { FAIL("iteration 173"); exit(0); }
1213         if ( do_174() != 174 ) { FAIL("iteration 174"); exit(0); }
1214         if ( do_175() != 175 ) { FAIL("iteration 175"); exit(0); }
1215         if ( do_176() != 176 ) { FAIL("iteration 176"); exit(0); }
1216         if ( do_177() != 177 ) { FAIL("iteration 177"); exit(0); }
1217         if ( do_178() != 178 ) { FAIL("iteration 178"); exit(0); }
1218         if ( do_179() != 179 ) { FAIL("iteration 179"); exit(0); }
1219         if ( do_180() != 180 ) { FAIL("iteration 180"); exit(0); }
1220         if ( do_181() != 181 ) { FAIL("iteration 181"); exit(0); }
1221         if ( do_182() != 182 ) { FAIL("iteration 182"); exit(0); }
1222         if ( do_183() != 183 ) { FAIL("iteration 183"); exit(0); }
1223         if ( do_184() != 184 ) { FAIL("iteration 184"); exit(0); }
1224         if ( do_185() != 185 ) { FAIL("iteration 185"); exit(0); }
1225         if ( do_186() != 186 ) { FAIL("iteration 186"); exit(0); }
1226         if ( do_187() != 187 ) { FAIL("iteration 187"); exit(0); }
1227         if ( do_188() != 188 ) { FAIL("iteration 188"); exit(0); }
1228         if ( do_189() != 189 ) { FAIL("iteration 189"); exit(0); }
1229         if ( do_190() != 190 ) { FAIL("iteration 190"); exit(0); }
1230         if ( do_191() != 191 ) { FAIL("iteration 191"); exit(0); }
1231         if ( do_192() != 192 ) { FAIL("iteration 192"); exit(0); }
1232         if ( do_193() != 193 ) { FAIL("iteration 193"); exit(0); }
1233         if ( do_194() != 194 ) { FAIL("iteration 194"); exit(0); }
1234         if ( do_195() != 195 ) { FAIL("iteration 195"); exit(0); }
1235         if ( do_196() != 196 ) { FAIL("iteration 196"); exit(0); }
1236         if ( do_197() != 197 ) { FAIL("iteration 197"); exit(0); }
1237         if ( do_198() != 198 ) { FAIL("iteration 198"); exit(0); }
1238         if ( do_199() != 199 ) { FAIL("iteration 199"); exit(0); }
1239         if ( do_200() != 200 ) { FAIL("iteration 200"); exit(0); }
1240         if ( do_201() != 201 ) { FAIL("iteration 201"); exit(0); }
1241         if ( do_202() != 202 ) { FAIL("iteration 202"); exit(0); }
1242         if ( do_203() != 203 ) { FAIL("iteration 203"); exit(0); }
1243         if ( do_204() != 204 ) { FAIL("iteration 204"); exit(0); }
1244         if ( do_205() != 205 ) { FAIL("iteration 205"); exit(0); }
1245         if ( do_206() != 206 ) { FAIL("iteration 206"); exit(0); }
1246         if ( do_207() != 207 ) { FAIL("iteration 207"); exit(0); }
1247         if ( do_208() != 208 ) { FAIL("iteration 208"); exit(0); }
1248         if ( do_209() != 209 ) { FAIL("iteration 209"); exit(0); }
1249         if ( do_210() != 210 ) { FAIL("iteration 210"); exit(0); }
1250         if ( do_211() != 211 ) { FAIL("iteration 211"); exit(0); }
1251         if ( do_212() != 212 ) { FAIL("iteration 212"); exit(0); }
1252         if ( do_213() != 213 ) { FAIL("iteration 213"); exit(0); }
1253         if ( do_214() != 214 ) { FAIL("iteration 214"); exit(0); }
1254         if ( do_215() != 215 ) { FAIL("iteration 215"); exit(0); }
1255         if ( do_216() != 216 ) { FAIL("iteration 216"); exit(0); }
1256         if ( do_217() != 217 ) { FAIL("iteration 217"); exit(0); }
1257         if ( do_218() != 218 ) { FAIL("iteration 218"); exit(0); }
1258         if ( do_219() != 219 ) { FAIL("iteration 219"); exit(0); }
1259         if ( do_220() != 220 ) { FAIL("iteration 220"); exit(0); }
1260         if ( do_221() != 221 ) { FAIL("iteration 221"); exit(0); }
1261         if ( do_222() != 222 ) { FAIL("iteration 222"); exit(0); }
1262         if ( do_223() != 223 ) { FAIL("iteration 223"); exit(0); }
1263         if ( do_224() != 224 ) { FAIL("iteration 224"); exit(0); }
1264         if ( do_225() != 225 ) { FAIL("iteration 225"); exit(0); }
1265         if ( do_226() != 226 ) { FAIL("iteration 226"); exit(0); }
1266         if ( do_227() != 227 ) { FAIL("iteration 227"); exit(0); }
1267         if ( do_228() != 228 ) { FAIL("iteration 228"); exit(0); }
1268         if ( do_229() != 229 ) { FAIL("iteration 229"); exit(0); }
1269         if ( do_230() != 230 ) { FAIL("iteration 230"); exit(0); }
1270         if ( do_231() != 231 ) { FAIL("iteration 231"); exit(0); }
1271         if ( do_232() != 232 ) { FAIL("iteration 232"); exit(0); }
1272         if ( do_233() != 233 ) { FAIL("iteration 233"); exit(0); }
1273         if ( do_234() != 234 ) { FAIL("iteration 234"); exit(0); }
1274         if ( do_235() != 235 ) { FAIL("iteration 235"); exit(0); }
1275         if ( do_236() != 236 ) { FAIL("iteration 236"); exit(0); }
1276         if ( do_237() != 237 ) { FAIL("iteration 237"); exit(0); }
1277         if ( do_238() != 238 ) { FAIL("iteration 238"); exit(0); }
1278         if ( do_239() != 239 ) { FAIL("iteration 239"); exit(0); }
1279         if ( do_240() != 240 ) { FAIL("iteration 240"); exit(0); }
1280         if ( do_241() != 241 ) { FAIL("iteration 241"); exit(0); }
1281         if ( do_242() != 242 ) { FAIL("iteration 242"); exit(0); }
1282         if ( do_243() != 243 ) { FAIL("iteration 243"); exit(0); }
1283         if ( do_244() != 244 ) { FAIL("iteration 244"); exit(0); }
1284         if ( do_245() != 245 ) { FAIL("iteration 245"); exit(0); }
1285         if ( do_246() != 246 ) { FAIL("iteration 246"); exit(0); }
1286         if ( do_247() != 247 ) { FAIL("iteration 247"); exit(0); }
1287         if ( do_248() != 248 ) { FAIL("iteration 248"); exit(0); }
1288         if ( do_249() != 249 ) { FAIL("iteration 249"); exit(0); }
1289         if ( do_250() != 250 ) { FAIL("iteration 250"); exit(0); }
1290         if ( do_251() != 251 ) { FAIL("iteration 251"); exit(0); }
1291         if ( do_252() != 252 ) { FAIL("iteration 252"); exit(0); }
1292         if ( do_253() != 253 ) { FAIL("iteration 253"); exit(0); }
1293         if ( do_254() != 254 ) { FAIL("iteration 254"); exit(0); }
1294         if ( do_255() != 255 ) { FAIL("iteration 255"); exit(0); }
1295         if ( do_256() != 256 ) { FAIL("iteration 256"); exit(0); }
1296         if ( do_257() != 257 ) { FAIL("iteration 257"); exit(0); }
1297         if ( do_258() != 258 ) { FAIL("iteration 258"); exit(0); }
1298         if ( do_259() != 259 ) { FAIL("iteration 259"); exit(0); }
1299         if ( do_260() != 260 ) { FAIL("iteration 260"); exit(0); }
1300         if ( do_261() != 261 ) { FAIL("iteration 261"); exit(0); }
1301         if ( do_262() != 262 ) { FAIL("iteration 262"); exit(0); }
1302         if ( do_263() != 263 ) { FAIL("iteration 263"); exit(0); }
1303         if ( do_264() != 264 ) { FAIL("iteration 264"); exit(0); }
1304         if ( do_265() != 265 ) { FAIL("iteration 265"); exit(0); }
1305         if ( do_266() != 266 ) { FAIL("iteration 266"); exit(0); }
1306         if ( do_267() != 267 ) { FAIL("iteration 267"); exit(0); }
1307         if ( do_268() != 268 ) { FAIL("iteration 268"); exit(0); }
1308         if ( do_269() != 269 ) { FAIL("iteration 269"); exit(0); }
1309         if ( do_270() != 270 ) { FAIL("iteration 270"); exit(0); }
1310         if ( do_271() != 271 ) { FAIL("iteration 271"); exit(0); }
1311         if ( do_272() != 272 ) { FAIL("iteration 272"); exit(0); }
1312         if ( do_273() != 273 ) { FAIL("iteration 273"); exit(0); }
1313         if ( do_274() != 274 ) { FAIL("iteration 274"); exit(0); }
1314         if ( do_275() != 275 ) { FAIL("iteration 275"); exit(0); }
1315         if ( do_276() != 276 ) { FAIL("iteration 276"); exit(0); }
1316         if ( do_277() != 277 ) { FAIL("iteration 277"); exit(0); }
1317         if ( do_278() != 278 ) { FAIL("iteration 278"); exit(0); }
1318         if ( do_279() != 279 ) { FAIL("iteration 279"); exit(0); }
1319         if ( do_280() != 280 ) { FAIL("iteration 280"); exit(0); }
1320         if ( do_281() != 281 ) { FAIL("iteration 281"); exit(0); }
1321         if ( do_282() != 282 ) { FAIL("iteration 282"); exit(0); }
1322         if ( do_283() != 283 ) { FAIL("iteration 283"); exit(0); }
1323         if ( do_284() != 284 ) { FAIL("iteration 284"); exit(0); }
1324         if ( do_285() != 285 ) { FAIL("iteration 285"); exit(0); }
1325         if ( do_286() != 286 ) { FAIL("iteration 286"); exit(0); }
1326         if ( do_287() != 287 ) { FAIL("iteration 287"); exit(0); }
1327         if ( do_288() != 288 ) { FAIL("iteration 288"); exit(0); }
1328         if ( do_289() != 289 ) { FAIL("iteration 289"); exit(0); }
1329         if ( do_290() != 290 ) { FAIL("iteration 290"); exit(0); }
1330         if ( do_291() != 291 ) { FAIL("iteration 291"); exit(0); }
1331         if ( do_292() != 292 ) { FAIL("iteration 292"); exit(0); }
1332         if ( do_293() != 293 ) { FAIL("iteration 293"); exit(0); }
1333         if ( do_294() != 294 ) { FAIL("iteration 294"); exit(0); }
1334         if ( do_295() != 295 ) { FAIL("iteration 295"); exit(0); }
1335         if ( do_296() != 296 ) { FAIL("iteration 296"); exit(0); }
1336         if ( do_297() != 297 ) { FAIL("iteration 297"); exit(0); }
1337         if ( do_298() != 298 ) { FAIL("iteration 298"); exit(0); }
1338         if ( do_299() != 299 ) { FAIL("iteration 299"); exit(0); }
1339         if ( do_300() != 300 ) { FAIL("iteration 300"); exit(0); }
1340         if ( do_301() != 301 ) { FAIL("iteration 301"); exit(0); }
1341         if ( do_302() != 302 ) { FAIL("iteration 302"); exit(0); }
1342         if ( do_303() != 303 ) { FAIL("iteration 303"); exit(0); }
1343         if ( do_304() != 304 ) { FAIL("iteration 304"); exit(0); }
1344         if ( do_305() != 305 ) { FAIL("iteration 305"); exit(0); }
1345         if ( do_306() != 306 ) { FAIL("iteration 306"); exit(0); }
1346         if ( do_307() != 307 ) { FAIL("iteration 307"); exit(0); }
1347         if ( do_308() != 308 ) { FAIL("iteration 308"); exit(0); }
1348         if ( do_309() != 309 ) { FAIL("iteration 309"); exit(0); }
1349         if ( do_310() != 310 ) { FAIL("iteration 310"); exit(0); }
1350         if ( do_311() != 311 ) { FAIL("iteration 311"); exit(0); }
1351         if ( do_312() != 312 ) { FAIL("iteration 312"); exit(0); }
1352         if ( do_313() != 313 ) { FAIL("iteration 313"); exit(0); }
1353         if ( do_314() != 314 ) { FAIL("iteration 314"); exit(0); }
1354         if ( do_315() != 315 ) { FAIL("iteration 315"); exit(0); }
1355         if ( do_316() != 316 ) { FAIL("iteration 316"); exit(0); }
1356         if ( do_317() != 317 ) { FAIL("iteration 317"); exit(0); }
1357         if ( do_318() != 318 ) { FAIL("iteration 318"); exit(0); }
1358         if ( do_319() != 319 ) { FAIL("iteration 319"); exit(0); }
1359         if ( do_320() != 320 ) { FAIL("iteration 320"); exit(0); }
1360         if ( do_321() != 321 ) { FAIL("iteration 321"); exit(0); }
1361         if ( do_322() != 322 ) { FAIL("iteration 322"); exit(0); }
1362         if ( do_323() != 323 ) { FAIL("iteration 323"); exit(0); }
1363         if ( do_324() != 324 ) { FAIL("iteration 324"); exit(0); }
1364         if ( do_325() != 325 ) { FAIL("iteration 325"); exit(0); }
1365         if ( do_326() != 326 ) { FAIL("iteration 326"); exit(0); }
1366         if ( do_327() != 327 ) { FAIL("iteration 327"); exit(0); }
1367         if ( do_328() != 328 ) { FAIL("iteration 328"); exit(0); }
1368         if ( do_329() != 329 ) { FAIL("iteration 329"); exit(0); }
1369         if ( do_330() != 330 ) { FAIL("iteration 330"); exit(0); }
1370         if ( do_331() != 331 ) { FAIL("iteration 331"); exit(0); }
1371         if ( do_332() != 332 ) { FAIL("iteration 332"); exit(0); }
1372         if ( do_333() != 333 ) { FAIL("iteration 333"); exit(0); }
1373         if ( do_334() != 334 ) { FAIL("iteration 334"); exit(0); }
1374         if ( do_335() != 335 ) { FAIL("iteration 335"); exit(0); }
1375         if ( do_336() != 336 ) { FAIL("iteration 336"); exit(0); }
1376         if ( do_337() != 337 ) { FAIL("iteration 337"); exit(0); }
1377         if ( do_338() != 338 ) { FAIL("iteration 338"); exit(0); }
1378         if ( do_339() != 339 ) { FAIL("iteration 339"); exit(0); }
1379         if ( do_340() != 340 ) { FAIL("iteration 340"); exit(0); }
1380         if ( do_341() != 341 ) { FAIL("iteration 341"); exit(0); }
1381         if ( do_342() != 342 ) { FAIL("iteration 342"); exit(0); }
1382         if ( do_343() != 343 ) { FAIL("iteration 343"); exit(0); }
1383         if ( do_344() != 344 ) { FAIL("iteration 344"); exit(0); }
1384         if ( do_345() != 345 ) { FAIL("iteration 345"); exit(0); }
1385         if ( do_346() != 346 ) { FAIL("iteration 346"); exit(0); }
1386         if ( do_347() != 347 ) { FAIL("iteration 347"); exit(0); }
1387         if ( do_348() != 348 ) { FAIL("iteration 348"); exit(0); }
1388         if ( do_349() != 349 ) { FAIL("iteration 349"); exit(0); }
1389         if ( do_350() != 350 ) { FAIL("iteration 350"); exit(0); }
1390         if ( do_351() != 351 ) { FAIL("iteration 351"); exit(0); }
1391         if ( do_352() != 352 ) { FAIL("iteration 352"); exit(0); }
1392         if ( do_353() != 353 ) { FAIL("iteration 353"); exit(0); }
1393         if ( do_354() != 354 ) { FAIL("iteration 354"); exit(0); }
1394         if ( do_355() != 355 ) { FAIL("iteration 355"); exit(0); }
1395         if ( do_356() != 356 ) { FAIL("iteration 356"); exit(0); }
1396         if ( do_357() != 357 ) { FAIL("iteration 357"); exit(0); }
1397         if ( do_358() != 358 ) { FAIL("iteration 358"); exit(0); }
1398         if ( do_359() != 359 ) { FAIL("iteration 359"); exit(0); }
1399         if ( do_360() != 360 ) { FAIL("iteration 360"); exit(0); }
1400         if ( do_361() != 361 ) { FAIL("iteration 361"); exit(0); }
1401         if ( do_362() != 362 ) { FAIL("iteration 362"); exit(0); }
1402         if ( do_363() != 363 ) { FAIL("iteration 363"); exit(0); }
1403         if ( do_364() != 364 ) { FAIL("iteration 364"); exit(0); }
1404         if ( do_365() != 365 ) { FAIL("iteration 365"); exit(0); }
1405         if ( do_366() != 366 ) { FAIL("iteration 366"); exit(0); }
1406         if ( do_367() != 367 ) { FAIL("iteration 367"); exit(0); }
1407         if ( do_368() != 368 ) { FAIL("iteration 368"); exit(0); }
1408         if ( do_369() != 369 ) { FAIL("iteration 369"); exit(0); }
1409         if ( do_370() != 370 ) { FAIL("iteration 370"); exit(0); }
1410         if ( do_371() != 371 ) { FAIL("iteration 371"); exit(0); }
1411         if ( do_372() != 372 ) { FAIL("iteration 372"); exit(0); }
1412         if ( do_373() != 373 ) { FAIL("iteration 373"); exit(0); }
1413         if ( do_374() != 374 ) { FAIL("iteration 374"); exit(0); }
1414         if ( do_375() != 375 ) { FAIL("iteration 375"); exit(0); }
1415         if ( do_376() != 376 ) { FAIL("iteration 376"); exit(0); }
1416         if ( do_377() != 377 ) { FAIL("iteration 377"); exit(0); }
1417         if ( do_378() != 378 ) { FAIL("iteration 378"); exit(0); }
1418         if ( do_379() != 379 ) { FAIL("iteration 379"); exit(0); }
1419         if ( do_380() != 380 ) { FAIL("iteration 380"); exit(0); }
1420         if ( do_381() != 381 ) { FAIL("iteration 381"); exit(0); }
1421         if ( do_382() != 382 ) { FAIL("iteration 382"); exit(0); }
1422         if ( do_383() != 383 ) { FAIL("iteration 383"); exit(0); }
1423         if ( do_384() != 384 ) { FAIL("iteration 384"); exit(0); }
1424         if ( do_385() != 385 ) { FAIL("iteration 385"); exit(0); }
1425         if ( do_386() != 386 ) { FAIL("iteration 386"); exit(0); }
1426         if ( do_387() != 387 ) { FAIL("iteration 387"); exit(0); }
1427         if ( do_388() != 388 ) { FAIL("iteration 388"); exit(0); }
1428         if ( do_389() != 389 ) { FAIL("iteration 389"); exit(0); }
1429         if ( do_390() != 390 ) { FAIL("iteration 390"); exit(0); }
1430         if ( do_391() != 391 ) { FAIL("iteration 391"); exit(0); }
1431         if ( do_392() != 392 ) { FAIL("iteration 392"); exit(0); }
1432         if ( do_393() != 393 ) { FAIL("iteration 393"); exit(0); }
1433         if ( do_394() != 394 ) { FAIL("iteration 394"); exit(0); }
1434         if ( do_395() != 395 ) { FAIL("iteration 395"); exit(0); }
1435         if ( do_396() != 396 ) { FAIL("iteration 396"); exit(0); }
1436         if ( do_397() != 397 ) { FAIL("iteration 397"); exit(0); }
1437         if ( do_398() != 398 ) { FAIL("iteration 398"); exit(0); }
1438         if ( do_399() != 399 ) { FAIL("iteration 399"); exit(0); }
1439         if ( do_400() != 400 ) { FAIL("iteration 400"); exit(0); }
1440         if ( do_401() != 401 ) { FAIL("iteration 401"); exit(0); }
1441         if ( do_402() != 402 ) { FAIL("iteration 402"); exit(0); }
1442         if ( do_403() != 403 ) { FAIL("iteration 403"); exit(0); }
1443         if ( do_404() != 404 ) { FAIL("iteration 404"); exit(0); }
1444         if ( do_405() != 405 ) { FAIL("iteration 405"); exit(0); }
1445         if ( do_406() != 406 ) { FAIL("iteration 406"); exit(0); }
1446         if ( do_407() != 407 ) { FAIL("iteration 407"); exit(0); }
1447         if ( do_408() != 408 ) { FAIL("iteration 408"); exit(0); }
1448         if ( do_409() != 409 ) { FAIL("iteration 409"); exit(0); }
1449         if ( do_410() != 410 ) { FAIL("iteration 410"); exit(0); }
1450         if ( do_411() != 411 ) { FAIL("iteration 411"); exit(0); }
1451         if ( do_412() != 412 ) { FAIL("iteration 412"); exit(0); }
1452         if ( do_413() != 413 ) { FAIL("iteration 413"); exit(0); }
1453         if ( do_414() != 414 ) { FAIL("iteration 414"); exit(0); }
1454         if ( do_415() != 415 ) { FAIL("iteration 415"); exit(0); }
1455         if ( do_416() != 416 ) { FAIL("iteration 416"); exit(0); }
1456         if ( do_417() != 417 ) { FAIL("iteration 417"); exit(0); }
1457         if ( do_418() != 418 ) { FAIL("iteration 418"); exit(0); }
1458         if ( do_419() != 419 ) { FAIL("iteration 419"); exit(0); }
1459         if ( do_420() != 420 ) { FAIL("iteration 420"); exit(0); }
1460         if ( do_421() != 421 ) { FAIL("iteration 421"); exit(0); }
1461         if ( do_422() != 422 ) { FAIL("iteration 422"); exit(0); }
1462         if ( do_423() != 423 ) { FAIL("iteration 423"); exit(0); }
1463         if ( do_424() != 424 ) { FAIL("iteration 424"); exit(0); }
1464         if ( do_425() != 425 ) { FAIL("iteration 425"); exit(0); }
1465         if ( do_426() != 426 ) { FAIL("iteration 426"); exit(0); }
1466         if ( do_427() != 427 ) { FAIL("iteration 427"); exit(0); }
1467         if ( do_428() != 428 ) { FAIL("iteration 428"); exit(0); }
1468         if ( do_429() != 429 ) { FAIL("iteration 429"); exit(0); }
1469         if ( do_430() != 430 ) { FAIL("iteration 430"); exit(0); }
1470         if ( do_431() != 431 ) { FAIL("iteration 431"); exit(0); }
1471         if ( do_432() != 432 ) { FAIL("iteration 432"); exit(0); }
1472         if ( do_433() != 433 ) { FAIL("iteration 433"); exit(0); }
1473         if ( do_434() != 434 ) { FAIL("iteration 434"); exit(0); }
1474         if ( do_435() != 435 ) { FAIL("iteration 435"); exit(0); }
1475         if ( do_436() != 436 ) { FAIL("iteration 436"); exit(0); }
1476         if ( do_437() != 437 ) { FAIL("iteration 437"); exit(0); }
1477         if ( do_438() != 438 ) { FAIL("iteration 438"); exit(0); }
1478         if ( do_439() != 439 ) { FAIL("iteration 439"); exit(0); }
1479         if ( do_440() != 440 ) { FAIL("iteration 440"); exit(0); }
1480         if ( do_441() != 441 ) { FAIL("iteration 441"); exit(0); }
1481         if ( do_442() != 442 ) { FAIL("iteration 442"); exit(0); }
1482         if ( do_443() != 443 ) { FAIL("iteration 443"); exit(0); }
1483         if ( do_444() != 444 ) { FAIL("iteration 444"); exit(0); }
1484         if ( do_445() != 445 ) { FAIL("iteration 445"); exit(0); }
1485         if ( do_446() != 446 ) { FAIL("iteration 446"); exit(0); }
1486         if ( do_447() != 447 ) { FAIL("iteration 447"); exit(0); }
1487         if ( do_448() != 448 ) { FAIL("iteration 448"); exit(0); }
1488         if ( do_449() != 449 ) { FAIL("iteration 449"); exit(0); }
1489         if ( do_450() != 450 ) { FAIL("iteration 450"); exit(0); }
1490         if ( do_451() != 451 ) { FAIL("iteration 451"); exit(0); }
1491         if ( do_452() != 452 ) { FAIL("iteration 452"); exit(0); }
1492         if ( do_453() != 453 ) { FAIL("iteration 453"); exit(0); }
1493         if ( do_454() != 454 ) { FAIL("iteration 454"); exit(0); }
1494         if ( do_455() != 455 ) { FAIL("iteration 455"); exit(0); }
1495         if ( do_456() != 456 ) { FAIL("iteration 456"); exit(0); }
1496         if ( do_457() != 457 ) { FAIL("iteration 457"); exit(0); }
1497         if ( do_458() != 458 ) { FAIL("iteration 458"); exit(0); }
1498         if ( do_459() != 459 ) { FAIL("iteration 459"); exit(0); }
1499         if ( do_460() != 460 ) { FAIL("iteration 460"); exit(0); }
1500         if ( do_461() != 461 ) { FAIL("iteration 461"); exit(0); }
1501         if ( do_462() != 462 ) { FAIL("iteration 462"); exit(0); }
1502         if ( do_463() != 463 ) { FAIL("iteration 463"); exit(0); }
1503         if ( do_464() != 464 ) { FAIL("iteration 464"); exit(0); }
1504         if ( do_465() != 465 ) { FAIL("iteration 465"); exit(0); }
1505         if ( do_466() != 466 ) { FAIL("iteration 466"); exit(0); }
1506         if ( do_467() != 467 ) { FAIL("iteration 467"); exit(0); }
1507         if ( do_468() != 468 ) { FAIL("iteration 468"); exit(0); }
1508         if ( do_469() != 469 ) { FAIL("iteration 469"); exit(0); }
1509         if ( do_470() != 470 ) { FAIL("iteration 470"); exit(0); }
1510         if ( do_471() != 471 ) { FAIL("iteration 471"); exit(0); }
1511         if ( do_472() != 472 ) { FAIL("iteration 472"); exit(0); }
1512         if ( do_473() != 473 ) { FAIL("iteration 473"); exit(0); }
1513         if ( do_474() != 474 ) { FAIL("iteration 474"); exit(0); }
1514         if ( do_475() != 475 ) { FAIL("iteration 475"); exit(0); }
1515         if ( do_476() != 476 ) { FAIL("iteration 476"); exit(0); }
1516         if ( do_477() != 477 ) { FAIL("iteration 477"); exit(0); }
1517         if ( do_478() != 478 ) { FAIL("iteration 478"); exit(0); }
1518         if ( do_479() != 479 ) { FAIL("iteration 479"); exit(0); }
1519         if ( do_480() != 480 ) { FAIL("iteration 480"); exit(0); }
1520         if ( do_481() != 481 ) { FAIL("iteration 481"); exit(0); }
1521         if ( do_482() != 482 ) { FAIL("iteration 482"); exit(0); }
1522         if ( do_483() != 483 ) { FAIL("iteration 483"); exit(0); }
1523         if ( do_484() != 484 ) { FAIL("iteration 484"); exit(0); }
1524         if ( do_485() != 485 ) { FAIL("iteration 485"); exit(0); }
1525         if ( do_486() != 486 ) { FAIL("iteration 486"); exit(0); }
1526         if ( do_487() != 487 ) { FAIL("iteration 487"); exit(0); }
1527         if ( do_488() != 488 ) { FAIL("iteration 488"); exit(0); }
1528         if ( do_489() != 489 ) { FAIL("iteration 489"); exit(0); }
1529         if ( do_490() != 490 ) { FAIL("iteration 490"); exit(0); }
1530         if ( do_491() != 491 ) { FAIL("iteration 491"); exit(0); }
1531         if ( do_492() != 492 ) { FAIL("iteration 492"); exit(0); }
1532         if ( do_493() != 493 ) { FAIL("iteration 493"); exit(0); }
1533         if ( do_494() != 494 ) { FAIL("iteration 494"); exit(0); }
1534         if ( do_495() != 495 ) { FAIL("iteration 495"); exit(0); }
1535         if ( do_496() != 496 ) { FAIL("iteration 496"); exit(0); }
1536         if ( do_497() != 497 ) { FAIL("iteration 497"); exit(0); }
1537         if ( do_498() != 498 ) { FAIL("iteration 498"); exit(0); }
1538         if ( do_499() != 499 ) { FAIL("iteration 499"); exit(0); }
1539         if ( do_500() != 500 ) { FAIL("iteration 500"); exit(0); }
1540         if ( do_501() != 501 ) { FAIL("iteration 501"); exit(0); }
1541         if ( do_502() != 502 ) { FAIL("iteration 502"); exit(0); }
1542         if ( do_503() != 503 ) { FAIL("iteration 503"); exit(0); }
1543         if ( do_504() != 504 ) { FAIL("iteration 504"); exit(0); }
1544         if ( do_505() != 505 ) { FAIL("iteration 505"); exit(0); }
1545         if ( do_506() != 506 ) { FAIL("iteration 506"); exit(0); }
1546         if ( do_507() != 507 ) { FAIL("iteration 507"); exit(0); }
1547         if ( do_508() != 508 ) { FAIL("iteration 508"); exit(0); }
1548         if ( do_509() != 509 ) { FAIL("iteration 509"); exit(0); }
1549         if ( do_510() != 510 ) { FAIL("iteration 510"); exit(0); }
1550         if ( do_511() != 511 ) { FAIL("iteration 511"); exit(0); }
1551         if ( do_512() != 512 ) { FAIL("iteration 512"); exit(0); }
1552         if ( do_513() != 513 ) { FAIL("iteration 513"); exit(0); }
1553         if ( do_514() != 514 ) { FAIL("iteration 514"); exit(0); }
1554         if ( do_515() != 515 ) { FAIL("iteration 515"); exit(0); }
1555         if ( do_516() != 516 ) { FAIL("iteration 516"); exit(0); }
1556         if ( do_517() != 517 ) { FAIL("iteration 517"); exit(0); }
1557         if ( do_518() != 518 ) { FAIL("iteration 518"); exit(0); }
1558         if ( do_519() != 519 ) { FAIL("iteration 519"); exit(0); }
1559         if ( do_520() != 520 ) { FAIL("iteration 520"); exit(0); }
1560         if ( do_521() != 521 ) { FAIL("iteration 521"); exit(0); }
1561         if ( do_522() != 522 ) { FAIL("iteration 522"); exit(0); }
1562         if ( do_523() != 523 ) { FAIL("iteration 523"); exit(0); }
1563         if ( do_524() != 524 ) { FAIL("iteration 524"); exit(0); }
1564         if ( do_525() != 525 ) { FAIL("iteration 525"); exit(0); }
1565         if ( do_526() != 526 ) { FAIL("iteration 526"); exit(0); }
1566         if ( do_527() != 527 ) { FAIL("iteration 527"); exit(0); }
1567         if ( do_528() != 528 ) { FAIL("iteration 528"); exit(0); }
1568         if ( do_529() != 529 ) { FAIL("iteration 529"); exit(0); }
1569         if ( do_530() != 530 ) { FAIL("iteration 530"); exit(0); }
1570         if ( do_531() != 531 ) { FAIL("iteration 531"); exit(0); }
1571         if ( do_532() != 532 ) { FAIL("iteration 532"); exit(0); }
1572         if ( do_533() != 533 ) { FAIL("iteration 533"); exit(0); }
1573         if ( do_534() != 534 ) { FAIL("iteration 534"); exit(0); }
1574         if ( do_535() != 535 ) { FAIL("iteration 535"); exit(0); }
1575         if ( do_536() != 536 ) { FAIL("iteration 536"); exit(0); }
1576         if ( do_537() != 537 ) { FAIL("iteration 537"); exit(0); }
1577         if ( do_538() != 538 ) { FAIL("iteration 538"); exit(0); }
1578         if ( do_539() != 539 ) { FAIL("iteration 539"); exit(0); }
1579         if ( do_540() != 540 ) { FAIL("iteration 540"); exit(0); }
1580         if ( do_541() != 541 ) { FAIL("iteration 541"); exit(0); }
1581         if ( do_542() != 542 ) { FAIL("iteration 542"); exit(0); }
1582         if ( do_543() != 543 ) { FAIL("iteration 543"); exit(0); }
1583         if ( do_544() != 544 ) { FAIL("iteration 544"); exit(0); }
1584         if ( do_545() != 545 ) { FAIL("iteration 545"); exit(0); }
1585         if ( do_546() != 546 ) { FAIL("iteration 546"); exit(0); }
1586         if ( do_547() != 547 ) { FAIL("iteration 547"); exit(0); }
1587         if ( do_548() != 548 ) { FAIL("iteration 548"); exit(0); }
1588         if ( do_549() != 549 ) { FAIL("iteration 549"); exit(0); }
1589         if ( do_550() != 550 ) { FAIL("iteration 550"); exit(0); }
1590         if ( do_551() != 551 ) { FAIL("iteration 551"); exit(0); }
1591         if ( do_552() != 552 ) { FAIL("iteration 552"); exit(0); }
1592         if ( do_553() != 553 ) { FAIL("iteration 553"); exit(0); }
1593         if ( do_554() != 554 ) { FAIL("iteration 554"); exit(0); }
1594         if ( do_555() != 555 ) { FAIL("iteration 555"); exit(0); }
1595         if ( do_556() != 556 ) { FAIL("iteration 556"); exit(0); }
1596         if ( do_557() != 557 ) { FAIL("iteration 557"); exit(0); }
1597         if ( do_558() != 558 ) { FAIL("iteration 558"); exit(0); }
1598         if ( do_559() != 559 ) { FAIL("iteration 559"); exit(0); }
1599         if ( do_560() != 560 ) { FAIL("iteration 560"); exit(0); }
1600         if ( do_561() != 561 ) { FAIL("iteration 561"); exit(0); }
1601         if ( do_562() != 562 ) { FAIL("iteration 562"); exit(0); }
1602         if ( do_563() != 563 ) { FAIL("iteration 563"); exit(0); }
1603         if ( do_564() != 564 ) { FAIL("iteration 564"); exit(0); }
1604         if ( do_565() != 565 ) { FAIL("iteration 565"); exit(0); }
1605         if ( do_566() != 566 ) { FAIL("iteration 566"); exit(0); }
1606         if ( do_567() != 567 ) { FAIL("iteration 567"); exit(0); }
1607         if ( do_568() != 568 ) { FAIL("iteration 568"); exit(0); }
1608         if ( do_569() != 569 ) { FAIL("iteration 569"); exit(0); }
1609         if ( do_570() != 570 ) { FAIL("iteration 570"); exit(0); }
1610         if ( do_571() != 571 ) { FAIL("iteration 571"); exit(0); }
1611         if ( do_572() != 572 ) { FAIL("iteration 572"); exit(0); }
1612         if ( do_573() != 573 ) { FAIL("iteration 573"); exit(0); }
1613         if ( do_574() != 574 ) { FAIL("iteration 574"); exit(0); }
1614         if ( do_575() != 575 ) { FAIL("iteration 575"); exit(0); }
1615         if ( do_576() != 576 ) { FAIL("iteration 576"); exit(0); }
1616         if ( do_577() != 577 ) { FAIL("iteration 577"); exit(0); }
1617         if ( do_578() != 578 ) { FAIL("iteration 578"); exit(0); }
1618         if ( do_579() != 579 ) { FAIL("iteration 579"); exit(0); }
1619         if ( do_580() != 580 ) { FAIL("iteration 580"); exit(0); }
1620         if ( do_581() != 581 ) { FAIL("iteration 581"); exit(0); }
1621         if ( do_582() != 582 ) { FAIL("iteration 582"); exit(0); }
1622         if ( do_583() != 583 ) { FAIL("iteration 583"); exit(0); }
1623         if ( do_584() != 584 ) { FAIL("iteration 584"); exit(0); }
1624         if ( do_585() != 585 ) { FAIL("iteration 585"); exit(0); }
1625         if ( do_586() != 586 ) { FAIL("iteration 586"); exit(0); }
1626         if ( do_587() != 587 ) { FAIL("iteration 587"); exit(0); }
1627         if ( do_588() != 588 ) { FAIL("iteration 588"); exit(0); }
1628         if ( do_589() != 589 ) { FAIL("iteration 589"); exit(0); }
1629         if ( do_590() != 590 ) { FAIL("iteration 590"); exit(0); }
1630         if ( do_591() != 591 ) { FAIL("iteration 591"); exit(0); }
1631         if ( do_592() != 592 ) { FAIL("iteration 592"); exit(0); }
1632         if ( do_593() != 593 ) { FAIL("iteration 593"); exit(0); }
1633         if ( do_594() != 594 ) { FAIL("iteration 594"); exit(0); }
1634         if ( do_595() != 595 ) { FAIL("iteration 595"); exit(0); }
1635         if ( do_596() != 596 ) { FAIL("iteration 596"); exit(0); }
1636         if ( do_597() != 597 ) { FAIL("iteration 597"); exit(0); }
1637         if ( do_598() != 598 ) { FAIL("iteration 598"); exit(0); }
1638         if ( do_599() != 599 ) { FAIL("iteration 599"); exit(0); }
1639         if ( do_600() != 600 ) { FAIL("iteration 600"); exit(0); }
1640         if ( do_601() != 601 ) { FAIL("iteration 601"); exit(0); }
1641         if ( do_602() != 602 ) { FAIL("iteration 602"); exit(0); }
1642         if ( do_603() != 603 ) { FAIL("iteration 603"); exit(0); }
1643         if ( do_604() != 604 ) { FAIL("iteration 604"); exit(0); }
1644         if ( do_605() != 605 ) { FAIL("iteration 605"); exit(0); }
1645         if ( do_606() != 606 ) { FAIL("iteration 606"); exit(0); }
1646         if ( do_607() != 607 ) { FAIL("iteration 607"); exit(0); }
1647         if ( do_608() != 608 ) { FAIL("iteration 608"); exit(0); }
1648         if ( do_609() != 609 ) { FAIL("iteration 609"); exit(0); }
1649         if ( do_610() != 610 ) { FAIL("iteration 610"); exit(0); }
1650         if ( do_611() != 611 ) { FAIL("iteration 611"); exit(0); }
1651         if ( do_612() != 612 ) { FAIL("iteration 612"); exit(0); }
1652         if ( do_613() != 613 ) { FAIL("iteration 613"); exit(0); }
1653         if ( do_614() != 614 ) { FAIL("iteration 614"); exit(0); }
1654         if ( do_615() != 615 ) { FAIL("iteration 615"); exit(0); }
1655         if ( do_616() != 616 ) { FAIL("iteration 616"); exit(0); }
1656         if ( do_617() != 617 ) { FAIL("iteration 617"); exit(0); }
1657         if ( do_618() != 618 ) { FAIL("iteration 618"); exit(0); }
1658         if ( do_619() != 619 ) { FAIL("iteration 619"); exit(0); }
1659         if ( do_620() != 620 ) { FAIL("iteration 620"); exit(0); }
1660         if ( do_621() != 621 ) { FAIL("iteration 621"); exit(0); }
1661         if ( do_622() != 622 ) { FAIL("iteration 622"); exit(0); }
1662         if ( do_623() != 623 ) { FAIL("iteration 623"); exit(0); }
1663         if ( do_624() != 624 ) { FAIL("iteration 624"); exit(0); }
1664         if ( do_625() != 625 ) { FAIL("iteration 625"); exit(0); }
1665         if ( do_626() != 626 ) { FAIL("iteration 626"); exit(0); }
1666         if ( do_627() != 627 ) { FAIL("iteration 627"); exit(0); }
1667         if ( do_628() != 628 ) { FAIL("iteration 628"); exit(0); }
1668         if ( do_629() != 629 ) { FAIL("iteration 629"); exit(0); }
1669         if ( do_630() != 630 ) { FAIL("iteration 630"); exit(0); }
1670         if ( do_631() != 631 ) { FAIL("iteration 631"); exit(0); }
1671         if ( do_632() != 632 ) { FAIL("iteration 632"); exit(0); }
1672         if ( do_633() != 633 ) { FAIL("iteration 633"); exit(0); }
1673         if ( do_634() != 634 ) { FAIL("iteration 634"); exit(0); }
1674         if ( do_635() != 635 ) { FAIL("iteration 635"); exit(0); }
1675         if ( do_636() != 636 ) { FAIL("iteration 636"); exit(0); }
1676         if ( do_637() != 637 ) { FAIL("iteration 637"); exit(0); }
1677         if ( do_638() != 638 ) { FAIL("iteration 638"); exit(0); }
1678         if ( do_639() != 639 ) { FAIL("iteration 639"); exit(0); }
1679         if ( do_640() != 640 ) { FAIL("iteration 640"); exit(0); }
1680         if ( do_641() != 641 ) { FAIL("iteration 641"); exit(0); }
1681         if ( do_642() != 642 ) { FAIL("iteration 642"); exit(0); }
1682         if ( do_643() != 643 ) { FAIL("iteration 643"); exit(0); }
1683         if ( do_644() != 644 ) { FAIL("iteration 644"); exit(0); }
1684         if ( do_645() != 645 ) { FAIL("iteration 645"); exit(0); }
1685         if ( do_646() != 646 ) { FAIL("iteration 646"); exit(0); }
1686         if ( do_647() != 647 ) { FAIL("iteration 647"); exit(0); }
1687         if ( do_648() != 648 ) { FAIL("iteration 648"); exit(0); }
1688         if ( do_649() != 649 ) { FAIL("iteration 649"); exit(0); }
1689         if ( do_650() != 650 ) { FAIL("iteration 650"); exit(0); }
1690         if ( do_651() != 651 ) { FAIL("iteration 651"); exit(0); }
1691         if ( do_652() != 652 ) { FAIL("iteration 652"); exit(0); }
1692         if ( do_653() != 653 ) { FAIL("iteration 653"); exit(0); }
1693         if ( do_654() != 654 ) { FAIL("iteration 654"); exit(0); }
1694         if ( do_655() != 655 ) { FAIL("iteration 655"); exit(0); }
1695         if ( do_656() != 656 ) { FAIL("iteration 656"); exit(0); }
1696         if ( do_657() != 657 ) { FAIL("iteration 657"); exit(0); }
1697         if ( do_658() != 658 ) { FAIL("iteration 658"); exit(0); }
1698         if ( do_659() != 659 ) { FAIL("iteration 659"); exit(0); }
1699         if ( do_660() != 660 ) { FAIL("iteration 660"); exit(0); }
1700         if ( do_661() != 661 ) { FAIL("iteration 661"); exit(0); }
1701         if ( do_662() != 662 ) { FAIL("iteration 662"); exit(0); }
1702         if ( do_663() != 663 ) { FAIL("iteration 663"); exit(0); }
1703         if ( do_664() != 664 ) { FAIL("iteration 664"); exit(0); }
1704         if ( do_665() != 665 ) { FAIL("iteration 665"); exit(0); }
1705         if ( do_666() != 666 ) { FAIL("iteration 666"); exit(0); }
1706         if ( do_667() != 667 ) { FAIL("iteration 667"); exit(0); }
1707         if ( do_668() != 668 ) { FAIL("iteration 668"); exit(0); }
1708         if ( do_669() != 669 ) { FAIL("iteration 669"); exit(0); }
1709         if ( do_670() != 670 ) { FAIL("iteration 670"); exit(0); }
1710         if ( do_671() != 671 ) { FAIL("iteration 671"); exit(0); }
1711         if ( do_672() != 672 ) { FAIL("iteration 672"); exit(0); }
1712         if ( do_673() != 673 ) { FAIL("iteration 673"); exit(0); }
1713         if ( do_674() != 674 ) { FAIL("iteration 674"); exit(0); }
1714         if ( do_675() != 675 ) { FAIL("iteration 675"); exit(0); }
1715         if ( do_676() != 676 ) { FAIL("iteration 676"); exit(0); }
1716         if ( do_677() != 677 ) { FAIL("iteration 677"); exit(0); }
1717         if ( do_678() != 678 ) { FAIL("iteration 678"); exit(0); }
1718         if ( do_679() != 679 ) { FAIL("iteration 679"); exit(0); }
1719         if ( do_680() != 680 ) { FAIL("iteration 680"); exit(0); }
1720         if ( do_681() != 681 ) { FAIL("iteration 681"); exit(0); }
1721         if ( do_682() != 682 ) { FAIL("iteration 682"); exit(0); }
1722         if ( do_683() != 683 ) { FAIL("iteration 683"); exit(0); }
1723         if ( do_684() != 684 ) { FAIL("iteration 684"); exit(0); }
1724         if ( do_685() != 685 ) { FAIL("iteration 685"); exit(0); }
1725         if ( do_686() != 686 ) { FAIL("iteration 686"); exit(0); }
1726         if ( do_687() != 687 ) { FAIL("iteration 687"); exit(0); }
1727         if ( do_688() != 688 ) { FAIL("iteration 688"); exit(0); }
1728         if ( do_689() != 689 ) { FAIL("iteration 689"); exit(0); }
1729         if ( do_690() != 690 ) { FAIL("iteration 690"); exit(0); }
1730         if ( do_691() != 691 ) { FAIL("iteration 691"); exit(0); }
1731         if ( do_692() != 692 ) { FAIL("iteration 692"); exit(0); }
1732         if ( do_693() != 693 ) { FAIL("iteration 693"); exit(0); }
1733         if ( do_694() != 694 ) { FAIL("iteration 694"); exit(0); }
1734         if ( do_695() != 695 ) { FAIL("iteration 695"); exit(0); }
1735         if ( do_696() != 696 ) { FAIL("iteration 696"); exit(0); }
1736         if ( do_697() != 697 ) { FAIL("iteration 697"); exit(0); }
1737         if ( do_698() != 698 ) { FAIL("iteration 698"); exit(0); }
1738         if ( do_699() != 699 ) { FAIL("iteration 699"); exit(0); }
1739         if ( do_700() != 700 ) { FAIL("iteration 700"); exit(0); }
1740         if ( do_701() != 701 ) { FAIL("iteration 701"); exit(0); }
1741         if ( do_702() != 702 ) { FAIL("iteration 702"); exit(0); }
1742         if ( do_703() != 703 ) { FAIL("iteration 703"); exit(0); }
1743         if ( do_704() != 704 ) { FAIL("iteration 704"); exit(0); }
1744         if ( do_705() != 705 ) { FAIL("iteration 705"); exit(0); }
1745         if ( do_706() != 706 ) { FAIL("iteration 706"); exit(0); }
1746         if ( do_707() != 707 ) { FAIL("iteration 707"); exit(0); }
1747         if ( do_708() != 708 ) { FAIL("iteration 708"); exit(0); }
1748         if ( do_709() != 709 ) { FAIL("iteration 709"); exit(0); }
1749         if ( do_710() != 710 ) { FAIL("iteration 710"); exit(0); }
1750         if ( do_711() != 711 ) { FAIL("iteration 711"); exit(0); }
1751         if ( do_712() != 712 ) { FAIL("iteration 712"); exit(0); }
1752         if ( do_713() != 713 ) { FAIL("iteration 713"); exit(0); }
1753         if ( do_714() != 714 ) { FAIL("iteration 714"); exit(0); }
1754         if ( do_715() != 715 ) { FAIL("iteration 715"); exit(0); }
1755         if ( do_716() != 716 ) { FAIL("iteration 716"); exit(0); }
1756         if ( do_717() != 717 ) { FAIL("iteration 717"); exit(0); }
1757         if ( do_718() != 718 ) { FAIL("iteration 718"); exit(0); }
1758         if ( do_719() != 719 ) { FAIL("iteration 719"); exit(0); }
1759         if ( do_720() != 720 ) { FAIL("iteration 720"); exit(0); }
1760         if ( do_721() != 721 ) { FAIL("iteration 721"); exit(0); }
1761         if ( do_722() != 722 ) { FAIL("iteration 722"); exit(0); }
1762         if ( do_723() != 723 ) { FAIL("iteration 723"); exit(0); }
1763         if ( do_724() != 724 ) { FAIL("iteration 724"); exit(0); }
1764         if ( do_725() != 725 ) { FAIL("iteration 725"); exit(0); }
1765         if ( do_726() != 726 ) { FAIL("iteration 726"); exit(0); }
1766         if ( do_727() != 727 ) { FAIL("iteration 727"); exit(0); }
1767         if ( do_728() != 728 ) { FAIL("iteration 728"); exit(0); }
1768         if ( do_729() != 729 ) { FAIL("iteration 729"); exit(0); }
1769         if ( do_730() != 730 ) { FAIL("iteration 730"); exit(0); }
1770         if ( do_731() != 731 ) { FAIL("iteration 731"); exit(0); }
1771         if ( do_732() != 732 ) { FAIL("iteration 732"); exit(0); }
1772         if ( do_733() != 733 ) { FAIL("iteration 733"); exit(0); }
1773         if ( do_734() != 734 ) { FAIL("iteration 734"); exit(0); }
1774         if ( do_735() != 735 ) { FAIL("iteration 735"); exit(0); }
1775         if ( do_736() != 736 ) { FAIL("iteration 736"); exit(0); }
1776         if ( do_737() != 737 ) { FAIL("iteration 737"); exit(0); }
1777         if ( do_738() != 738 ) { FAIL("iteration 738"); exit(0); }
1778         if ( do_739() != 739 ) { FAIL("iteration 739"); exit(0); }
1779         if ( do_740() != 740 ) { FAIL("iteration 740"); exit(0); }
1780         if ( do_741() != 741 ) { FAIL("iteration 741"); exit(0); }
1781         if ( do_742() != 742 ) { FAIL("iteration 742"); exit(0); }
1782         if ( do_743() != 743 ) { FAIL("iteration 743"); exit(0); }
1783         if ( do_744() != 744 ) { FAIL("iteration 744"); exit(0); }
1784         if ( do_745() != 745 ) { FAIL("iteration 745"); exit(0); }
1785         if ( do_746() != 746 ) { FAIL("iteration 746"); exit(0); }
1786         if ( do_747() != 747 ) { FAIL("iteration 747"); exit(0); }
1787         if ( do_748() != 748 ) { FAIL("iteration 748"); exit(0); }
1788         if ( do_749() != 749 ) { FAIL("iteration 749"); exit(0); }
1789         if ( do_750() != 750 ) { FAIL("iteration 750"); exit(0); }
1790         if ( do_751() != 751 ) { FAIL("iteration 751"); exit(0); }
1791         if ( do_752() != 752 ) { FAIL("iteration 752"); exit(0); }
1792         if ( do_753() != 753 ) { FAIL("iteration 753"); exit(0); }
1793         if ( do_754() != 754 ) { FAIL("iteration 754"); exit(0); }
1794         if ( do_755() != 755 ) { FAIL("iteration 755"); exit(0); }
1795         if ( do_756() != 756 ) { FAIL("iteration 756"); exit(0); }
1796         if ( do_757() != 757 ) { FAIL("iteration 757"); exit(0); }
1797         if ( do_758() != 758 ) { FAIL("iteration 758"); exit(0); }
1798         if ( do_759() != 759 ) { FAIL("iteration 759"); exit(0); }
1799         if ( do_760() != 760 ) { FAIL("iteration 760"); exit(0); }
1800         if ( do_761() != 761 ) { FAIL("iteration 761"); exit(0); }
1801         if ( do_762() != 762 ) { FAIL("iteration 762"); exit(0); }
1802         if ( do_763() != 763 ) { FAIL("iteration 763"); exit(0); }
1803         if ( do_764() != 764 ) { FAIL("iteration 764"); exit(0); }
1804         if ( do_765() != 765 ) { FAIL("iteration 765"); exit(0); }
1805         if ( do_766() != 766 ) { FAIL("iteration 766"); exit(0); }
1806         if ( do_767() != 767 ) { FAIL("iteration 767"); exit(0); }
1807         if ( do_768() != 768 ) { FAIL("iteration 768"); exit(0); }
1808         if ( do_769() != 769 ) { FAIL("iteration 769"); exit(0); }
1809         if ( do_770() != 770 ) { FAIL("iteration 770"); exit(0); }
1810         if ( do_771() != 771 ) { FAIL("iteration 771"); exit(0); }
1811         if ( do_772() != 772 ) { FAIL("iteration 772"); exit(0); }
1812         if ( do_773() != 773 ) { FAIL("iteration 773"); exit(0); }
1813         if ( do_774() != 774 ) { FAIL("iteration 774"); exit(0); }
1814         if ( do_775() != 775 ) { FAIL("iteration 775"); exit(0); }
1815         if ( do_776() != 776 ) { FAIL("iteration 776"); exit(0); }
1816         if ( do_777() != 777 ) { FAIL("iteration 777"); exit(0); }
1817         if ( do_778() != 778 ) { FAIL("iteration 778"); exit(0); }
1818         if ( do_779() != 779 ) { FAIL("iteration 779"); exit(0); }
1819         if ( do_780() != 780 ) { FAIL("iteration 780"); exit(0); }
1820         if ( do_781() != 781 ) { FAIL("iteration 781"); exit(0); }
1821         if ( do_782() != 782 ) { FAIL("iteration 782"); exit(0); }
1822         if ( do_783() != 783 ) { FAIL("iteration 783"); exit(0); }
1823         if ( do_784() != 784 ) { FAIL("iteration 784"); exit(0); }
1824         if ( do_785() != 785 ) { FAIL("iteration 785"); exit(0); }
1825         if ( do_786() != 786 ) { FAIL("iteration 786"); exit(0); }
1826         if ( do_787() != 787 ) { FAIL("iteration 787"); exit(0); }
1827         if ( do_788() != 788 ) { FAIL("iteration 788"); exit(0); }
1828         if ( do_789() != 789 ) { FAIL("iteration 789"); exit(0); }
1829         if ( do_790() != 790 ) { FAIL("iteration 790"); exit(0); }
1830         if ( do_791() != 791 ) { FAIL("iteration 791"); exit(0); }
1831         if ( do_792() != 792 ) { FAIL("iteration 792"); exit(0); }
1832         if ( do_793() != 793 ) { FAIL("iteration 793"); exit(0); }
1833         if ( do_794() != 794 ) { FAIL("iteration 794"); exit(0); }
1834         if ( do_795() != 795 ) { FAIL("iteration 795"); exit(0); }
1835         if ( do_796() != 796 ) { FAIL("iteration 796"); exit(0); }
1836         if ( do_797() != 797 ) { FAIL("iteration 797"); exit(0); }
1837         if ( do_798() != 798 ) { FAIL("iteration 798"); exit(0); }
1838         if ( do_799() != 799 ) { FAIL("iteration 799"); exit(0); }
1839         if ( do_800() != 800 ) { FAIL("iteration 800"); exit(0); }
1840         if ( do_801() != 801 ) { FAIL("iteration 801"); exit(0); }
1841         if ( do_802() != 802 ) { FAIL("iteration 802"); exit(0); }
1842         if ( do_803() != 803 ) { FAIL("iteration 803"); exit(0); }
1843         if ( do_804() != 804 ) { FAIL("iteration 804"); exit(0); }
1844         if ( do_805() != 805 ) { FAIL("iteration 805"); exit(0); }
1845         if ( do_806() != 806 ) { FAIL("iteration 806"); exit(0); }
1846         if ( do_807() != 807 ) { FAIL("iteration 807"); exit(0); }
1847         if ( do_808() != 808 ) { FAIL("iteration 808"); exit(0); }
1848         if ( do_809() != 809 ) { FAIL("iteration 809"); exit(0); }
1849         if ( do_810() != 810 ) { FAIL("iteration 810"); exit(0); }
1850         if ( do_811() != 811 ) { FAIL("iteration 811"); exit(0); }
1851         if ( do_812() != 812 ) { FAIL("iteration 812"); exit(0); }
1852         if ( do_813() != 813 ) { FAIL("iteration 813"); exit(0); }
1853         if ( do_814() != 814 ) { FAIL("iteration 814"); exit(0); }
1854         if ( do_815() != 815 ) { FAIL("iteration 815"); exit(0); }
1855         if ( do_816() != 816 ) { FAIL("iteration 816"); exit(0); }
1856         if ( do_817() != 817 ) { FAIL("iteration 817"); exit(0); }
1857         if ( do_818() != 818 ) { FAIL("iteration 818"); exit(0); }
1858         if ( do_819() != 819 ) { FAIL("iteration 819"); exit(0); }
1859         if ( do_820() != 820 ) { FAIL("iteration 820"); exit(0); }
1860         if ( do_821() != 821 ) { FAIL("iteration 821"); exit(0); }
1861         if ( do_822() != 822 ) { FAIL("iteration 822"); exit(0); }
1862         if ( do_823() != 823 ) { FAIL("iteration 823"); exit(0); }
1863         if ( do_824() != 824 ) { FAIL("iteration 824"); exit(0); }
1864         if ( do_825() != 825 ) { FAIL("iteration 825"); exit(0); }
1865         if ( do_826() != 826 ) { FAIL("iteration 826"); exit(0); }
1866         if ( do_827() != 827 ) { FAIL("iteration 827"); exit(0); }
1867         if ( do_828() != 828 ) { FAIL("iteration 828"); exit(0); }
1868         if ( do_829() != 829 ) { FAIL("iteration 829"); exit(0); }
1869         if ( do_830() != 830 ) { FAIL("iteration 830"); exit(0); }
1870         if ( do_831() != 831 ) { FAIL("iteration 831"); exit(0); }
1871         if ( do_832() != 832 ) { FAIL("iteration 832"); exit(0); }
1872         if ( do_833() != 833 ) { FAIL("iteration 833"); exit(0); }
1873         if ( do_834() != 834 ) { FAIL("iteration 834"); exit(0); }
1874         if ( do_835() != 835 ) { FAIL("iteration 835"); exit(0); }
1875         if ( do_836() != 836 ) { FAIL("iteration 836"); exit(0); }
1876         if ( do_837() != 837 ) { FAIL("iteration 837"); exit(0); }
1877         if ( do_838() != 838 ) { FAIL("iteration 838"); exit(0); }
1878         if ( do_839() != 839 ) { FAIL("iteration 839"); exit(0); }
1879         if ( do_840() != 840 ) { FAIL("iteration 840"); exit(0); }
1880         if ( do_841() != 841 ) { FAIL("iteration 841"); exit(0); }
1881         if ( do_842() != 842 ) { FAIL("iteration 842"); exit(0); }
1882         if ( do_843() != 843 ) { FAIL("iteration 843"); exit(0); }
1883         if ( do_844() != 844 ) { FAIL("iteration 844"); exit(0); }
1884         if ( do_845() != 845 ) { FAIL("iteration 845"); exit(0); }
1885         if ( do_846() != 846 ) { FAIL("iteration 846"); exit(0); }
1886         if ( do_847() != 847 ) { FAIL("iteration 847"); exit(0); }
1887         if ( do_848() != 848 ) { FAIL("iteration 848"); exit(0); }
1888         if ( do_849() != 849 ) { FAIL("iteration 849"); exit(0); }
1889         if ( do_850() != 850 ) { FAIL("iteration 850"); exit(0); }
1890         if ( do_851() != 851 ) { FAIL("iteration 851"); exit(0); }
1891         if ( do_852() != 852 ) { FAIL("iteration 852"); exit(0); }
1892         if ( do_853() != 853 ) { FAIL("iteration 853"); exit(0); }
1893         if ( do_854() != 854 ) { FAIL("iteration 854"); exit(0); }
1894         if ( do_855() != 855 ) { FAIL("iteration 855"); exit(0); }
1895         if ( do_856() != 856 ) { FAIL("iteration 856"); exit(0); }
1896         if ( do_857() != 857 ) { FAIL("iteration 857"); exit(0); }
1897         if ( do_858() != 858 ) { FAIL("iteration 858"); exit(0); }
1898         if ( do_859() != 859 ) { FAIL("iteration 859"); exit(0); }
1899         if ( do_860() != 860 ) { FAIL("iteration 860"); exit(0); }
1900         if ( do_861() != 861 ) { FAIL("iteration 861"); exit(0); }
1901         if ( do_862() != 862 ) { FAIL("iteration 862"); exit(0); }
1902         if ( do_863() != 863 ) { FAIL("iteration 863"); exit(0); }
1903         if ( do_864() != 864 ) { FAIL("iteration 864"); exit(0); }
1904         if ( do_865() != 865 ) { FAIL("iteration 865"); exit(0); }
1905         if ( do_866() != 866 ) { FAIL("iteration 866"); exit(0); }
1906         if ( do_867() != 867 ) { FAIL("iteration 867"); exit(0); }
1907         if ( do_868() != 868 ) { FAIL("iteration 868"); exit(0); }
1908         if ( do_869() != 869 ) { FAIL("iteration 869"); exit(0); }
1909         if ( do_870() != 870 ) { FAIL("iteration 870"); exit(0); }
1910         if ( do_871() != 871 ) { FAIL("iteration 871"); exit(0); }
1911         if ( do_872() != 872 ) { FAIL("iteration 872"); exit(0); }
1912         if ( do_873() != 873 ) { FAIL("iteration 873"); exit(0); }
1913         if ( do_874() != 874 ) { FAIL("iteration 874"); exit(0); }
1914         if ( do_875() != 875 ) { FAIL("iteration 875"); exit(0); }
1915         if ( do_876() != 876 ) { FAIL("iteration 876"); exit(0); }
1916         if ( do_877() != 877 ) { FAIL("iteration 877"); exit(0); }
1917         if ( do_878() != 878 ) { FAIL("iteration 878"); exit(0); }
1918         if ( do_879() != 879 ) { FAIL("iteration 879"); exit(0); }
1919         if ( do_880() != 880 ) { FAIL("iteration 880"); exit(0); }
1920         if ( do_881() != 881 ) { FAIL("iteration 881"); exit(0); }
1921         if ( do_882() != 882 ) { FAIL("iteration 882"); exit(0); }
1922         if ( do_883() != 883 ) { FAIL("iteration 883"); exit(0); }
1923         if ( do_884() != 884 ) { FAIL("iteration 884"); exit(0); }
1924         if ( do_885() != 885 ) { FAIL("iteration 885"); exit(0); }
1925         if ( do_886() != 886 ) { FAIL("iteration 886"); exit(0); }
1926         if ( do_887() != 887 ) { FAIL("iteration 887"); exit(0); }
1927         if ( do_888() != 888 ) { FAIL("iteration 888"); exit(0); }
1928         if ( do_889() != 889 ) { FAIL("iteration 889"); exit(0); }
1929         if ( do_890() != 890 ) { FAIL("iteration 890"); exit(0); }
1930         if ( do_891() != 891 ) { FAIL("iteration 891"); exit(0); }
1931         if ( do_892() != 892 ) { FAIL("iteration 892"); exit(0); }
1932         if ( do_893() != 893 ) { FAIL("iteration 893"); exit(0); }
1933         if ( do_894() != 894 ) { FAIL("iteration 894"); exit(0); }
1934         if ( do_895() != 895 ) { FAIL("iteration 895"); exit(0); }
1935         if ( do_896() != 896 ) { FAIL("iteration 896"); exit(0); }
1936         if ( do_897() != 897 ) { FAIL("iteration 897"); exit(0); }
1937         if ( do_898() != 898 ) { FAIL("iteration 898"); exit(0); }
1938         if ( do_899() != 899 ) { FAIL("iteration 899"); exit(0); }
1939         if ( do_900() != 900 ) { FAIL("iteration 900"); exit(0); }
1940         if ( do_901() != 901 ) { FAIL("iteration 901"); exit(0); }
1941         if ( do_902() != 902 ) { FAIL("iteration 902"); exit(0); }
1942         if ( do_903() != 903 ) { FAIL("iteration 903"); exit(0); }
1943         if ( do_904() != 904 ) { FAIL("iteration 904"); exit(0); }
1944         if ( do_905() != 905 ) { FAIL("iteration 905"); exit(0); }
1945         if ( do_906() != 906 ) { FAIL("iteration 906"); exit(0); }
1946         if ( do_907() != 907 ) { FAIL("iteration 907"); exit(0); }
1947         if ( do_908() != 908 ) { FAIL("iteration 908"); exit(0); }
1948         if ( do_909() != 909 ) { FAIL("iteration 909"); exit(0); }
1949         if ( do_910() != 910 ) { FAIL("iteration 910"); exit(0); }
1950         if ( do_911() != 911 ) { FAIL("iteration 911"); exit(0); }
1951         if ( do_912() != 912 ) { FAIL("iteration 912"); exit(0); }
1952         if ( do_913() != 913 ) { FAIL("iteration 913"); exit(0); }
1953         if ( do_914() != 914 ) { FAIL("iteration 914"); exit(0); }
1954         if ( do_915() != 915 ) { FAIL("iteration 915"); exit(0); }
1955         if ( do_916() != 916 ) { FAIL("iteration 916"); exit(0); }
1956         if ( do_917() != 917 ) { FAIL("iteration 917"); exit(0); }
1957         if ( do_918() != 918 ) { FAIL("iteration 918"); exit(0); }
1958         if ( do_919() != 919 ) { FAIL("iteration 919"); exit(0); }
1959         if ( do_920() != 920 ) { FAIL("iteration 920"); exit(0); }
1960         if ( do_921() != 921 ) { FAIL("iteration 921"); exit(0); }
1961         if ( do_922() != 922 ) { FAIL("iteration 922"); exit(0); }
1962         if ( do_923() != 923 ) { FAIL("iteration 923"); exit(0); }
1963         if ( do_924() != 924 ) { FAIL("iteration 924"); exit(0); }
1964         if ( do_925() != 925 ) { FAIL("iteration 925"); exit(0); }
1965         if ( do_926() != 926 ) { FAIL("iteration 926"); exit(0); }
1966         if ( do_927() != 927 ) { FAIL("iteration 927"); exit(0); }
1967         if ( do_928() != 928 ) { FAIL("iteration 928"); exit(0); }
1968         if ( do_929() != 929 ) { FAIL("iteration 929"); exit(0); }
1969         if ( do_930() != 930 ) { FAIL("iteration 930"); exit(0); }
1970         if ( do_931() != 931 ) { FAIL("iteration 931"); exit(0); }
1971         if ( do_932() != 932 ) { FAIL("iteration 932"); exit(0); }
1972         if ( do_933() != 933 ) { FAIL("iteration 933"); exit(0); }
1973         if ( do_934() != 934 ) { FAIL("iteration 934"); exit(0); }
1974         if ( do_935() != 935 ) { FAIL("iteration 935"); exit(0); }
1975         if ( do_936() != 936 ) { FAIL("iteration 936"); exit(0); }
1976         if ( do_937() != 937 ) { FAIL("iteration 937"); exit(0); }
1977         if ( do_938() != 938 ) { FAIL("iteration 938"); exit(0); }
1978         if ( do_939() != 939 ) { FAIL("iteration 939"); exit(0); }
1979         if ( do_940() != 940 ) { FAIL("iteration 940"); exit(0); }
1980         if ( do_941() != 941 ) { FAIL("iteration 941"); exit(0); }
1981         if ( do_942() != 942 ) { FAIL("iteration 942"); exit(0); }
1982         if ( do_943() != 943 ) { FAIL("iteration 943"); exit(0); }
1983         if ( do_944() != 944 ) { FAIL("iteration 944"); exit(0); }
1984         if ( do_945() != 945 ) { FAIL("iteration 945"); exit(0); }
1985         if ( do_946() != 946 ) { FAIL("iteration 946"); exit(0); }
1986         if ( do_947() != 947 ) { FAIL("iteration 947"); exit(0); }
1987         if ( do_948() != 948 ) { FAIL("iteration 948"); exit(0); }
1988         if ( do_949() != 949 ) { FAIL("iteration 949"); exit(0); }
1989         if ( do_950() != 950 ) { FAIL("iteration 950"); exit(0); }
1990         if ( do_951() != 951 ) { FAIL("iteration 951"); exit(0); }
1991         if ( do_952() != 952 ) { FAIL("iteration 952"); exit(0); }
1992         if ( do_953() != 953 ) { FAIL("iteration 953"); exit(0); }
1993         if ( do_954() != 954 ) { FAIL("iteration 954"); exit(0); }
1994         if ( do_955() != 955 ) { FAIL("iteration 955"); exit(0); }
1995         if ( do_956() != 956 ) { FAIL("iteration 956"); exit(0); }
1996         if ( do_957() != 957 ) { FAIL("iteration 957"); exit(0); }
1997         if ( do_958() != 958 ) { FAIL("iteration 958"); exit(0); }
1998         if ( do_959() != 959 ) { FAIL("iteration 959"); exit(0); }
1999         if ( do_960() != 960 ) { FAIL("iteration 960"); exit(0); }
2000         if ( do_961() != 961 ) { FAIL("iteration 961"); exit(0); }
2001         if ( do_962() != 962 ) { FAIL("iteration 962"); exit(0); }
2002         if ( do_963() != 963 ) { FAIL("iteration 963"); exit(0); }
2003         if ( do_964() != 964 ) { FAIL("iteration 964"); exit(0); }
2004         if ( do_965() != 965 ) { FAIL("iteration 965"); exit(0); }
2005         if ( do_966() != 966 ) { FAIL("iteration 966"); exit(0); }
2006         if ( do_967() != 967 ) { FAIL("iteration 967"); exit(0); }
2007         if ( do_968() != 968 ) { FAIL("iteration 968"); exit(0); }
2008         if ( do_969() != 969 ) { FAIL("iteration 969"); exit(0); }
2009         if ( do_970() != 970 ) { FAIL("iteration 970"); exit(0); }
2010         if ( do_971() != 971 ) { FAIL("iteration 971"); exit(0); }
2011         if ( do_972() != 972 ) { FAIL("iteration 972"); exit(0); }
2012         if ( do_973() != 973 ) { FAIL("iteration 973"); exit(0); }
2013         if ( do_974() != 974 ) { FAIL("iteration 974"); exit(0); }
2014         if ( do_975() != 975 ) { FAIL("iteration 975"); exit(0); }
2015         if ( do_976() != 976 ) { FAIL("iteration 976"); exit(0); }
2016         if ( do_977() != 977 ) { FAIL("iteration 977"); exit(0); }
2017         if ( do_978() != 978 ) { FAIL("iteration 978"); exit(0); }
2018         if ( do_979() != 979 ) { FAIL("iteration 979"); exit(0); }
2019         if ( do_980() != 980 ) { FAIL("iteration 980"); exit(0); }
2020         if ( do_981() != 981 ) { FAIL("iteration 981"); exit(0); }
2021         if ( do_982() != 982 ) { FAIL("iteration 982"); exit(0); }
2022         if ( do_983() != 983 ) { FAIL("iteration 983"); exit(0); }
2023         if ( do_984() != 984 ) { FAIL("iteration 984"); exit(0); }
2024         if ( do_985() != 985 ) { FAIL("iteration 985"); exit(0); }
2025         if ( do_986() != 986 ) { FAIL("iteration 986"); exit(0); }
2026         if ( do_987() != 987 ) { FAIL("iteration 987"); exit(0); }
2027         if ( do_988() != 988 ) { FAIL("iteration 988"); exit(0); }
2028         if ( do_989() != 989 ) { FAIL("iteration 989"); exit(0); }
2029         if ( do_990() != 990 ) { FAIL("iteration 990"); exit(0); }
2030         if ( do_991() != 991 ) { FAIL("iteration 991"); exit(0); }
2031         if ( do_992() != 992 ) { FAIL("iteration 992"); exit(0); }
2032         if ( do_993() != 993 ) { FAIL("iteration 993"); exit(0); }
2033         if ( do_994() != 994 ) { FAIL("iteration 994"); exit(0); }
2034         if ( do_995() != 995 ) { FAIL("iteration 995"); exit(0); }
2035         if ( do_996() != 996 ) { FAIL("iteration 996"); exit(0); }
2036         if ( do_997() != 997 ) { FAIL("iteration 997"); exit(0); }
2037         if ( do_998() != 998 ) { FAIL("iteration 998"); exit(0); }
2038         if ( do_999() != 999 ) { FAIL("iteration 999"); exit(0); }
2039         return NULL;
2040 }
2041
2042
2043 int main()
2044 {
2045         pthread_t worker[10];
2046         for (int i=0; i < 10; ++i) {
2047                 if ( pthread_create(&worker[i], NULL, work, NULL) != 0 ) {
2048                         FAIL("pthread_create failed");
2049                         exit(0);
2050                 }
2051         }
2052
2053         void* result;
2054         for (int i=0; i < 10; ++i) {
2055                 pthread_join(worker[i], &result);
2056         }
2057
2058         PASS("thread-lazy-bind");
2059         return 0;
2060 }