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 35extern int do_000(); 36extern int do_001(); 37extern int do_002(); 38extern int do_003(); 39extern int do_004(); 40extern int do_005(); 41extern int do_006(); 42extern int do_007(); 43extern int do_008(); 44extern int do_009(); 45extern int do_010(); 46extern int do_011(); 47extern int do_012(); 48extern int do_013(); 49extern int do_014(); 50extern int do_015(); 51extern int do_016(); 52extern int do_017(); 53extern int do_018(); 54extern int do_019(); 55extern int do_020(); 56extern int do_021(); 57extern int do_022(); 58extern int do_023(); 59extern int do_024(); 60extern int do_025(); 61extern int do_026(); 62extern int do_027(); 63extern int do_028(); 64extern int do_029(); 65extern int do_030(); 66extern int do_031(); 67extern int do_032(); 68extern int do_033(); 69extern int do_034(); 70extern int do_035(); 71extern int do_036(); 72extern int do_037(); 73extern int do_038(); 74extern int do_039(); 75extern int do_040(); 76extern int do_041(); 77extern int do_042(); 78extern int do_043(); 79extern int do_044(); 80extern int do_045(); 81extern int do_046(); 82extern int do_047(); 83extern int do_048(); 84extern int do_049(); 85extern int do_050(); 86extern int do_051(); 87extern int do_052(); 88extern int do_053(); 89extern int do_054(); 90extern int do_055(); 91extern int do_056(); 92extern int do_057(); 93extern int do_058(); 94extern int do_059(); 95extern int do_060(); 96extern int do_061(); 97extern int do_062(); 98extern int do_063(); 99extern int do_064(); 100extern int do_065(); 101extern int do_066(); 102extern int do_067(); 103extern int do_068(); 104extern int do_069(); 105extern int do_070(); 106extern int do_071(); 107extern int do_072(); 108extern int do_073(); 109extern int do_074(); 110extern int do_075(); 111extern int do_076(); 112extern int do_077(); 113extern int do_078(); 114extern int do_079(); 115extern int do_080(); 116extern int do_081(); 117extern int do_082(); 118extern int do_083(); 119extern int do_084(); 120extern int do_085(); 121extern int do_086(); 122extern int do_087(); 123extern int do_088(); 124extern int do_089(); 125extern int do_090(); 126extern int do_091(); 127extern int do_092(); 128extern int do_093(); 129extern int do_094(); 130extern int do_095(); 131extern int do_096(); 132extern int do_097(); 133extern int do_098(); 134extern int do_099(); 135extern int do_100(); 136extern int do_101(); 137extern int do_102(); 138extern int do_103(); 139extern int do_104(); 140extern int do_105(); 141extern int do_106(); 142extern int do_107(); 143extern int do_108(); 144extern int do_109(); 145extern int do_110(); 146extern int do_111(); 147extern int do_112(); 148extern int do_113(); 149extern int do_114(); 150extern int do_115(); 151extern int do_116(); 152extern int do_117(); 153extern int do_118(); 154extern int do_119(); 155extern int do_120(); 156extern int do_121(); 157extern int do_122(); 158extern int do_123(); 159extern int do_124(); 160extern int do_125(); 161extern int do_126(); 162extern int do_127(); 163extern int do_128(); 164extern int do_129(); 165extern int do_130(); 166extern int do_131(); 167extern int do_132(); 168extern int do_133(); 169extern int do_134(); 170extern int do_135(); 171extern int do_136(); 172extern int do_137(); 173extern int do_138(); 174extern int do_139(); 175extern int do_140(); 176extern int do_141(); 177extern int do_142(); 178extern int do_143(); 179extern int do_144(); 180extern int do_145(); 181extern int do_146(); 182extern int do_147(); 183extern int do_148(); 184extern int do_149(); 185extern int do_150(); 186extern int do_151(); 187extern int do_152(); 188extern int do_153(); 189extern int do_154(); 190extern int do_155(); 191extern int do_156(); 192extern int do_157(); 193extern int do_158(); 194extern int do_159(); 195extern int do_160(); 196extern int do_161(); 197extern int do_162(); 198extern int do_163(); 199extern int do_164(); 200extern int do_165(); 201extern int do_166(); 202extern int do_167(); 203extern int do_168(); 204extern int do_169(); 205extern int do_170(); 206extern int do_171(); 207extern int do_172(); 208extern int do_173(); 209extern int do_174(); 210extern int do_175(); 211extern int do_176(); 212extern int do_177(); 213extern int do_178(); 214extern int do_179(); 215extern int do_180(); 216extern int do_181(); 217extern int do_182(); 218extern int do_183(); 219extern int do_184(); 220extern int do_185(); 221extern int do_186(); 222extern int do_187(); 223extern int do_188(); 224extern int do_189(); 225extern int do_190(); 226extern int do_191(); 227extern int do_192(); 228extern int do_193(); 229extern int do_194(); 230extern int do_195(); 231extern int do_196(); 232extern int do_197(); 233extern int do_198(); 234extern int do_199(); 235extern int do_200(); 236extern int do_201(); 237extern int do_202(); 238extern int do_203(); 239extern int do_204(); 240extern int do_205(); 241extern int do_206(); 242extern int do_207(); 243extern int do_208(); 244extern int do_209(); 245extern int do_210(); 246extern int do_211(); 247extern int do_212(); 248extern int do_213(); 249extern int do_214(); 250extern int do_215(); 251extern int do_216(); 252extern int do_217(); 253extern int do_218(); 254extern int do_219(); 255extern int do_220(); 256extern int do_221(); 257extern int do_222(); 258extern int do_223(); 259extern int do_224(); 260extern int do_225(); 261extern int do_226(); 262extern int do_227(); 263extern int do_228(); 264extern int do_229(); 265extern int do_230(); 266extern int do_231(); 267extern int do_232(); 268extern int do_233(); 269extern int do_234(); 270extern int do_235(); 271extern int do_236(); 272extern int do_237(); 273extern int do_238(); 274extern int do_239(); 275extern int do_240(); 276extern int do_241(); 277extern int do_242(); 278extern int do_243(); 279extern int do_244(); 280extern int do_245(); 281extern int do_246(); 282extern int do_247(); 283extern int do_248(); 284extern int do_249(); 285extern int do_250(); 286extern int do_251(); 287extern int do_252(); 288extern int do_253(); 289extern int do_254(); 290extern int do_255(); 291extern int do_256(); 292extern int do_257(); 293extern int do_258(); 294extern int do_259(); 295extern int do_260(); 296extern int do_261(); 297extern int do_262(); 298extern int do_263(); 299extern int do_264(); 300extern int do_265(); 301extern int do_266(); 302extern int do_267(); 303extern int do_268(); 304extern int do_269(); 305extern int do_270(); 306extern int do_271(); 307extern int do_272(); 308extern int do_273(); 309extern int do_274(); 310extern int do_275(); 311extern int do_276(); 312extern int do_277(); 313extern int do_278(); 314extern int do_279(); 315extern int do_280(); 316extern int do_281(); 317extern int do_282(); 318extern int do_283(); 319extern int do_284(); 320extern int do_285(); 321extern int do_286(); 322extern int do_287(); 323extern int do_288(); 324extern int do_289(); 325extern int do_290(); 326extern int do_291(); 327extern int do_292(); 328extern int do_293(); 329extern int do_294(); 330extern int do_295(); 331extern int do_296(); 332extern int do_297(); 333extern int do_298(); 334extern int do_299(); 335extern int do_300(); 336extern int do_301(); 337extern int do_302(); 338extern int do_303(); 339extern int do_304(); 340extern int do_305(); 341extern int do_306(); 342extern int do_307(); 343extern int do_308(); 344extern int do_309(); 345extern int do_310(); 346extern int do_311(); 347extern int do_312(); 348extern int do_313(); 349extern int do_314(); 350extern int do_315(); 351extern int do_316(); 352extern int do_317(); 353extern int do_318(); 354extern int do_319(); 355extern int do_320(); 356extern int do_321(); 357extern int do_322(); 358extern int do_323(); 359extern int do_324(); 360extern int do_325(); 361extern int do_326(); 362extern int do_327(); 363extern int do_328(); 364extern int do_329(); 365extern int do_330(); 366extern int do_331(); 367extern int do_332(); 368extern int do_333(); 369extern int do_334(); 370extern int do_335(); 371extern int do_336(); 372extern int do_337(); 373extern int do_338(); 374extern int do_339(); 375extern int do_340(); 376extern int do_341(); 377extern int do_342(); 378extern int do_343(); 379extern int do_344(); 380extern int do_345(); 381extern int do_346(); 382extern int do_347(); 383extern int do_348(); 384extern int do_349(); 385extern int do_350(); 386extern int do_351(); 387extern int do_352(); 388extern int do_353(); 389extern int do_354(); 390extern int do_355(); 391extern int do_356(); 392extern int do_357(); 393extern int do_358(); 394extern int do_359(); 395extern int do_360(); 396extern int do_361(); 397extern int do_362(); 398extern int do_363(); 399extern int do_364(); 400extern int do_365(); 401extern int do_366(); 402extern int do_367(); 403extern int do_368(); 404extern int do_369(); 405extern int do_370(); 406extern int do_371(); 407extern int do_372(); 408extern int do_373(); 409extern int do_374(); 410extern int do_375(); 411extern int do_376(); 412extern int do_377(); 413extern int do_378(); 414extern int do_379(); 415extern int do_380(); 416extern int do_381(); 417extern int do_382(); 418extern int do_383(); 419extern int do_384(); 420extern int do_385(); 421extern int do_386(); 422extern int do_387(); 423extern int do_388(); 424extern int do_389(); 425extern int do_390(); 426extern int do_391(); 427extern int do_392(); 428extern int do_393(); 429extern int do_394(); 430extern int do_395(); 431extern int do_396(); 432extern int do_397(); 433extern int do_398(); 434extern int do_399(); 435extern int do_400(); 436extern int do_401(); 437extern int do_402(); 438extern int do_403(); 439extern int do_404(); 440extern int do_405(); 441extern int do_406(); 442extern int do_407(); 443extern int do_408(); 444extern int do_409(); 445extern int do_410(); 446extern int do_411(); 447extern int do_412(); 448extern int do_413(); 449extern int do_414(); 450extern int do_415(); 451extern int do_416(); 452extern int do_417(); 453extern int do_418(); 454extern int do_419(); 455extern int do_420(); 456extern int do_421(); 457extern int do_422(); 458extern int do_423(); 459extern int do_424(); 460extern int do_425(); 461extern int do_426(); 462extern int do_427(); 463extern int do_428(); 464extern int do_429(); 465extern int do_430(); 466extern int do_431(); 467extern int do_432(); 468extern int do_433(); 469extern int do_434(); 470extern int do_435(); 471extern int do_436(); 472extern int do_437(); 473extern int do_438(); 474extern int do_439(); 475extern int do_440(); 476extern int do_441(); 477extern int do_442(); 478extern int do_443(); 479extern int do_444(); 480extern int do_445(); 481extern int do_446(); 482extern int do_447(); 483extern int do_448(); 484extern int do_449(); 485extern int do_450(); 486extern int do_451(); 487extern int do_452(); 488extern int do_453(); 489extern int do_454(); 490extern int do_455(); 491extern int do_456(); 492extern int do_457(); 493extern int do_458(); 494extern int do_459(); 495extern int do_460(); 496extern int do_461(); 497extern int do_462(); 498extern int do_463(); 499extern int do_464(); 500extern int do_465(); 501extern int do_466(); 502extern int do_467(); 503extern int do_468(); 504extern int do_469(); 505extern int do_470(); 506extern int do_471(); 507extern int do_472(); 508extern int do_473(); 509extern int do_474(); 510extern int do_475(); 511extern int do_476(); 512extern int do_477(); 513extern int do_478(); 514extern int do_479(); 515extern int do_480(); 516extern int do_481(); 517extern int do_482(); 518extern int do_483(); 519extern int do_484(); 520extern int do_485(); 521extern int do_486(); 522extern int do_487(); 523extern int do_488(); 524extern int do_489(); 525extern int do_490(); 526extern int do_491(); 527extern int do_492(); 528extern int do_493(); 529extern int do_494(); 530extern int do_495(); 531extern int do_496(); 532extern int do_497(); 533extern int do_498(); 534extern int do_499(); 535extern int do_500(); 536extern int do_501(); 537extern int do_502(); 538extern int do_503(); 539extern int do_504(); 540extern int do_505(); 541extern int do_506(); 542extern int do_507(); 543extern int do_508(); 544extern int do_509(); 545extern int do_510(); 546extern int do_511(); 547extern int do_512(); 548extern int do_513(); 549extern int do_514(); 550extern int do_515(); 551extern int do_516(); 552extern int do_517(); 553extern int do_518(); 554extern int do_519(); 555extern int do_520(); 556extern int do_521(); 557extern int do_522(); 558extern int do_523(); 559extern int do_524(); 560extern int do_525(); 561extern int do_526(); 562extern int do_527(); 563extern int do_528(); 564extern int do_529(); 565extern int do_530(); 566extern int do_531(); 567extern int do_532(); 568extern int do_533(); 569extern int do_534(); 570extern int do_535(); 571extern int do_536(); 572extern int do_537(); 573extern int do_538(); 574extern int do_539(); 575extern int do_540(); 576extern int do_541(); 577extern int do_542(); 578extern int do_543(); 579extern int do_544(); 580extern int do_545(); 581extern int do_546(); 582extern int do_547(); 583extern int do_548(); 584extern int do_549(); 585extern int do_550(); 586extern int do_551(); 587extern int do_552(); 588extern int do_553(); 589extern int do_554(); 590extern int do_555(); 591extern int do_556(); 592extern int do_557(); 593extern int do_558(); 594extern int do_559(); 595extern int do_560(); 596extern int do_561(); 597extern int do_562(); 598extern int do_563(); 599extern int do_564(); 600extern int do_565(); 601extern int do_566(); 602extern int do_567(); 603extern int do_568(); 604extern int do_569(); 605extern int do_570(); 606extern int do_571(); 607extern int do_572(); 608extern int do_573(); 609extern int do_574(); 610extern int do_575(); 611extern int do_576(); 612extern int do_577(); 613extern int do_578(); 614extern int do_579(); 615extern int do_580(); 616extern int do_581(); 617extern int do_582(); 618extern int do_583(); 619extern int do_584(); 620extern int do_585(); 621extern int do_586(); 622extern int do_587(); 623extern int do_588(); 624extern int do_589(); 625extern int do_590(); 626extern int do_591(); 627extern int do_592(); 628extern int do_593(); 629extern int do_594(); 630extern int do_595(); 631extern int do_596(); 632extern int do_597(); 633extern int do_598(); 634extern int do_599(); 635extern int do_600(); 636extern int do_601(); 637extern int do_602(); 638extern int do_603(); 639extern int do_604(); 640extern int do_605(); 641extern int do_606(); 642extern int do_607(); 643extern int do_608(); 644extern int do_609(); 645extern int do_610(); 646extern int do_611(); 647extern int do_612(); 648extern int do_613(); 649extern int do_614(); 650extern int do_615(); 651extern int do_616(); 652extern int do_617(); 653extern int do_618(); 654extern int do_619(); 655extern int do_620(); 656extern int do_621(); 657extern int do_622(); 658extern int do_623(); 659extern int do_624(); 660extern int do_625(); 661extern int do_626(); 662extern int do_627(); 663extern int do_628(); 664extern int do_629(); 665extern int do_630(); 666extern int do_631(); 667extern int do_632(); 668extern int do_633(); 669extern int do_634(); 670extern int do_635(); 671extern int do_636(); 672extern int do_637(); 673extern int do_638(); 674extern int do_639(); 675extern int do_640(); 676extern int do_641(); 677extern int do_642(); 678extern int do_643(); 679extern int do_644(); 680extern int do_645(); 681extern int do_646(); 682extern int do_647(); 683extern int do_648(); 684extern int do_649(); 685extern int do_650(); 686extern int do_651(); 687extern int do_652(); 688extern int do_653(); 689extern int do_654(); 690extern int do_655(); 691extern int do_656(); 692extern int do_657(); 693extern int do_658(); 694extern int do_659(); 695extern int do_660(); 696extern int do_661(); 697extern int do_662(); 698extern int do_663(); 699extern int do_664(); 700extern int do_665(); 701extern int do_666(); 702extern int do_667(); 703extern int do_668(); 704extern int do_669(); 705extern int do_670(); 706extern int do_671(); 707extern int do_672(); 708extern int do_673(); 709extern int do_674(); 710extern int do_675(); 711extern int do_676(); 712extern int do_677(); 713extern int do_678(); 714extern int do_679(); 715extern int do_680(); 716extern int do_681(); 717extern int do_682(); 718extern int do_683(); 719extern int do_684(); 720extern int do_685(); 721extern int do_686(); 722extern int do_687(); 723extern int do_688(); 724extern int do_689(); 725extern int do_690(); 726extern int do_691(); 727extern int do_692(); 728extern int do_693(); 729extern int do_694(); 730extern int do_695(); 731extern int do_696(); 732extern int do_697(); 733extern int do_698(); 734extern int do_699(); 735extern int do_700(); 736extern int do_701(); 737extern int do_702(); 738extern int do_703(); 739extern int do_704(); 740extern int do_705(); 741extern int do_706(); 742extern int do_707(); 743extern int do_708(); 744extern int do_709(); 745extern int do_710(); 746extern int do_711(); 747extern int do_712(); 748extern int do_713(); 749extern int do_714(); 750extern int do_715(); 751extern int do_716(); 752extern int do_717(); 753extern int do_718(); 754extern int do_719(); 755extern int do_720(); 756extern int do_721(); 757extern int do_722(); 758extern int do_723(); 759extern int do_724(); 760extern int do_725(); 761extern int do_726(); 762extern int do_727(); 763extern int do_728(); 764extern int do_729(); 765extern int do_730(); 766extern int do_731(); 767extern int do_732(); 768extern int do_733(); 769extern int do_734(); 770extern int do_735(); 771extern int do_736(); 772extern int do_737(); 773extern int do_738(); 774extern int do_739(); 775extern int do_740(); 776extern int do_741(); 777extern int do_742(); 778extern int do_743(); 779extern int do_744(); 780extern int do_745(); 781extern int do_746(); 782extern int do_747(); 783extern int do_748(); 784extern int do_749(); 785extern int do_750(); 786extern int do_751(); 787extern int do_752(); 788extern int do_753(); 789extern int do_754(); 790extern int do_755(); 791extern int do_756(); 792extern int do_757(); 793extern int do_758(); 794extern int do_759(); 795extern int do_760(); 796extern int do_761(); 797extern int do_762(); 798extern int do_763(); 799extern int do_764(); 800extern int do_765(); 801extern int do_766(); 802extern int do_767(); 803extern int do_768(); 804extern int do_769(); 805extern int do_770(); 806extern int do_771(); 807extern int do_772(); 808extern int do_773(); 809extern int do_774(); 810extern int do_775(); 811extern int do_776(); 812extern int do_777(); 813extern int do_778(); 814extern int do_779(); 815extern int do_780(); 816extern int do_781(); 817extern int do_782(); 818extern int do_783(); 819extern int do_784(); 820extern int do_785(); 821extern int do_786(); 822extern int do_787(); 823extern int do_788(); 824extern int do_789(); 825extern int do_790(); 826extern int do_791(); 827extern int do_792(); 828extern int do_793(); 829extern int do_794(); 830extern int do_795(); 831extern int do_796(); 832extern int do_797(); 833extern int do_798(); 834extern int do_799(); 835extern int do_800(); 836extern int do_801(); 837extern int do_802(); 838extern int do_803(); 839extern int do_804(); 840extern int do_805(); 841extern int do_806(); 842extern int do_807(); 843extern int do_808(); 844extern int do_809(); 845extern int do_810(); 846extern int do_811(); 847extern int do_812(); 848extern int do_813(); 849extern int do_814(); 850extern int do_815(); 851extern int do_816(); 852extern int do_817(); 853extern int do_818(); 854extern int do_819(); 855extern int do_820(); 856extern int do_821(); 857extern int do_822(); 858extern int do_823(); 859extern int do_824(); 860extern int do_825(); 861extern int do_826(); 862extern int do_827(); 863extern int do_828(); 864extern int do_829(); 865extern int do_830(); 866extern int do_831(); 867extern int do_832(); 868extern int do_833(); 869extern int do_834(); 870extern int do_835(); 871extern int do_836(); 872extern int do_837(); 873extern int do_838(); 874extern int do_839(); 875extern int do_840(); 876extern int do_841(); 877extern int do_842(); 878extern int do_843(); 879extern int do_844(); 880extern int do_845(); 881extern int do_846(); 882extern int do_847(); 883extern int do_848(); 884extern int do_849(); 885extern int do_850(); 886extern int do_851(); 887extern int do_852(); 888extern int do_853(); 889extern int do_854(); 890extern int do_855(); 891extern int do_856(); 892extern int do_857(); 893extern int do_858(); 894extern int do_859(); 895extern int do_860(); 896extern int do_861(); 897extern int do_862(); 898extern int do_863(); 899extern int do_864(); 900extern int do_865(); 901extern int do_866(); 902extern int do_867(); 903extern int do_868(); 904extern int do_869(); 905extern int do_870(); 906extern int do_871(); 907extern int do_872(); 908extern int do_873(); 909extern int do_874(); 910extern int do_875(); 911extern int do_876(); 912extern int do_877(); 913extern int do_878(); 914extern int do_879(); 915extern int do_880(); 916extern int do_881(); 917extern int do_882(); 918extern int do_883(); 919extern int do_884(); 920extern int do_885(); 921extern int do_886(); 922extern int do_887(); 923extern int do_888(); 924extern int do_889(); 925extern int do_890(); 926extern int do_891(); 927extern int do_892(); 928extern int do_893(); 929extern int do_894(); 930extern int do_895(); 931extern int do_896(); 932extern int do_897(); 933extern int do_898(); 934extern int do_899(); 935extern int do_900(); 936extern int do_901(); 937extern int do_902(); 938extern int do_903(); 939extern int do_904(); 940extern int do_905(); 941extern int do_906(); 942extern int do_907(); 943extern int do_908(); 944extern int do_909(); 945extern int do_910(); 946extern int do_911(); 947extern int do_912(); 948extern int do_913(); 949extern int do_914(); 950extern int do_915(); 951extern int do_916(); 952extern int do_917(); 953extern int do_918(); 954extern int do_919(); 955extern int do_920(); 956extern int do_921(); 957extern int do_922(); 958extern int do_923(); 959extern int do_924(); 960extern int do_925(); 961extern int do_926(); 962extern int do_927(); 963extern int do_928(); 964extern int do_929(); 965extern int do_930(); 966extern int do_931(); 967extern int do_932(); 968extern int do_933(); 969extern int do_934(); 970extern int do_935(); 971extern int do_936(); 972extern int do_937(); 973extern int do_938(); 974extern int do_939(); 975extern int do_940(); 976extern int do_941(); 977extern int do_942(); 978extern int do_943(); 979extern int do_944(); 980extern int do_945(); 981extern int do_946(); 982extern int do_947(); 983extern int do_948(); 984extern int do_949(); 985extern int do_950(); 986extern int do_951(); 987extern int do_952(); 988extern int do_953(); 989extern int do_954(); 990extern int do_955(); 991extern int do_956(); 992extern int do_957(); 993extern int do_958(); 994extern int do_959(); 995extern int do_960(); 996extern int do_961(); 997extern int do_962(); 998extern int do_963(); 999extern int do_964(); 1000extern int do_965(); 1001extern int do_966(); 1002extern int do_967(); 1003extern int do_968(); 1004extern int do_969(); 1005extern int do_970(); 1006extern int do_971(); 1007extern int do_972(); 1008extern int do_973(); 1009extern int do_974(); 1010extern int do_975(); 1011extern int do_976(); 1012extern int do_977(); 1013extern int do_978(); 1014extern int do_979(); 1015extern int do_980(); 1016extern int do_981(); 1017extern int do_982(); 1018extern int do_983(); 1019extern int do_984(); 1020extern int do_985(); 1021extern int do_986(); 1022extern int do_987(); 1023extern int do_988(); 1024extern int do_989(); 1025extern int do_990(); 1026extern int do_991(); 1027extern int do_992(); 1028extern int do_993(); 1029extern int do_994(); 1030extern int do_995(); 1031extern int do_996(); 1032extern int do_997(); 1033extern int do_998(); 1034extern int do_999(); 1035 1036 1037static 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 2043int 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} 2061