main.c   [plain text]

/*
 * Copyright (c) 2009 Apple Inc. All rights reserved.
 *
 * @APPLE_LICENSE_HEADER_START@
 * 
 * This file contains Original Code and/or Modifications of Original Code
 * as defined in and that are subject to the Apple Public Source License
 * Version 2.0 (the 'License'). You may not use this file except in
 * compliance with the License. Please obtain a copy of the License at
 * http://www.opensource.apple.com/apsl/ and read it before using this
 * file.
 * 
 * The Original Code and all software distributed under the License are
 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
 * Please see the License for the specific language governing rights and
 * limitations under the License.
 * 
 * @APPLE_LICENSE_HEADER_END@
 */
#include <stdio.h>  // fprintf(), NULL
#include <stdlib.h> // exit(), EXIT_SUCCESS
#include <string.h>
#include <dlfcn.h>
#include <pthread.h>

#include "test.h" // PASS(), FAIL(), XPASS(), XFAIL()

///
/// Test that lazy binding is thread safe
///

extern int do_000();
extern int do_001();
extern int do_002();
extern int do_003();
extern int do_004();
extern int do_005();
extern int do_006();
extern int do_007();
extern int do_008();
extern int do_009();
extern int do_010();
extern int do_011();
extern int do_012();
extern int do_013();
extern int do_014();
extern int do_015();
extern int do_016();
extern int do_017();
extern int do_018();
extern int do_019();
extern int do_020();
extern int do_021();
extern int do_022();
extern int do_023();
extern int do_024();
extern int do_025();
extern int do_026();
extern int do_027();
extern int do_028();
extern int do_029();
extern int do_030();
extern int do_031();
extern int do_032();
extern int do_033();
extern int do_034();
extern int do_035();
extern int do_036();
extern int do_037();
extern int do_038();
extern int do_039();
extern int do_040();
extern int do_041();
extern int do_042();
extern int do_043();
extern int do_044();
extern int do_045();
extern int do_046();
extern int do_047();
extern int do_048();
extern int do_049();
extern int do_050();
extern int do_051();
extern int do_052();
extern int do_053();
extern int do_054();
extern int do_055();
extern int do_056();
extern int do_057();
extern int do_058();
extern int do_059();
extern int do_060();
extern int do_061();
extern int do_062();
extern int do_063();
extern int do_064();
extern int do_065();
extern int do_066();
extern int do_067();
extern int do_068();
extern int do_069();
extern int do_070();
extern int do_071();
extern int do_072();
extern int do_073();
extern int do_074();
extern int do_075();
extern int do_076();
extern int do_077();
extern int do_078();
extern int do_079();
extern int do_080();
extern int do_081();
extern int do_082();
extern int do_083();
extern int do_084();
extern int do_085();
extern int do_086();
extern int do_087();
extern int do_088();
extern int do_089();
extern int do_090();
extern int do_091();
extern int do_092();
extern int do_093();
extern int do_094();
extern int do_095();
extern int do_096();
extern int do_097();
extern int do_098();
extern int do_099();
extern int do_100();
extern int do_101();
extern int do_102();
extern int do_103();
extern int do_104();
extern int do_105();
extern int do_106();
extern int do_107();
extern int do_108();
extern int do_109();
extern int do_110();
extern int do_111();
extern int do_112();
extern int do_113();
extern int do_114();
extern int do_115();
extern int do_116();
extern int do_117();
extern int do_118();
extern int do_119();
extern int do_120();
extern int do_121();
extern int do_122();
extern int do_123();
extern int do_124();
extern int do_125();
extern int do_126();
extern int do_127();
extern int do_128();
extern int do_129();
extern int do_130();
extern int do_131();
extern int do_132();
extern int do_133();
extern int do_134();
extern int do_135();
extern int do_136();
extern int do_137();
extern int do_138();
extern int do_139();
extern int do_140();
extern int do_141();
extern int do_142();
extern int do_143();
extern int do_144();
extern int do_145();
extern int do_146();
extern int do_147();
extern int do_148();
extern int do_149();
extern int do_150();
extern int do_151();
extern int do_152();
extern int do_153();
extern int do_154();
extern int do_155();
extern int do_156();
extern int do_157();
extern int do_158();
extern int do_159();
extern int do_160();
extern int do_161();
extern int do_162();
extern int do_163();
extern int do_164();
extern int do_165();
extern int do_166();
extern int do_167();
extern int do_168();
extern int do_169();
extern int do_170();
extern int do_171();
extern int do_172();
extern int do_173();
extern int do_174();
extern int do_175();
extern int do_176();
extern int do_177();
extern int do_178();
extern int do_179();
extern int do_180();
extern int do_181();
extern int do_182();
extern int do_183();
extern int do_184();
extern int do_185();
extern int do_186();
extern int do_187();
extern int do_188();
extern int do_189();
extern int do_190();
extern int do_191();
extern int do_192();
extern int do_193();
extern int do_194();
extern int do_195();
extern int do_196();
extern int do_197();
extern int do_198();
extern int do_199();
extern int do_200();
extern int do_201();
extern int do_202();
extern int do_203();
extern int do_204();
extern int do_205();
extern int do_206();
extern int do_207();
extern int do_208();
extern int do_209();
extern int do_210();
extern int do_211();
extern int do_212();
extern int do_213();
extern int do_214();
extern int do_215();
extern int do_216();
extern int do_217();
extern int do_218();
extern int do_219();
extern int do_220();
extern int do_221();
extern int do_222();
extern int do_223();
extern int do_224();
extern int do_225();
extern int do_226();
extern int do_227();
extern int do_228();
extern int do_229();
extern int do_230();
extern int do_231();
extern int do_232();
extern int do_233();
extern int do_234();
extern int do_235();
extern int do_236();
extern int do_237();
extern int do_238();
extern int do_239();
extern int do_240();
extern int do_241();
extern int do_242();
extern int do_243();
extern int do_244();
extern int do_245();
extern int do_246();
extern int do_247();
extern int do_248();
extern int do_249();
extern int do_250();
extern int do_251();
extern int do_252();
extern int do_253();
extern int do_254();
extern int do_255();
extern int do_256();
extern int do_257();
extern int do_258();
extern int do_259();
extern int do_260();
extern int do_261();
extern int do_262();
extern int do_263();
extern int do_264();
extern int do_265();
extern int do_266();
extern int do_267();
extern int do_268();
extern int do_269();
extern int do_270();
extern int do_271();
extern int do_272();
extern int do_273();
extern int do_274();
extern int do_275();
extern int do_276();
extern int do_277();
extern int do_278();
extern int do_279();
extern int do_280();
extern int do_281();
extern int do_282();
extern int do_283();
extern int do_284();
extern int do_285();
extern int do_286();
extern int do_287();
extern int do_288();
extern int do_289();
extern int do_290();
extern int do_291();
extern int do_292();
extern int do_293();
extern int do_294();
extern int do_295();
extern int do_296();
extern int do_297();
extern int do_298();
extern int do_299();
extern int do_300();
extern int do_301();
extern int do_302();
extern int do_303();
extern int do_304();
extern int do_305();
extern int do_306();
extern int do_307();
extern int do_308();
extern int do_309();
extern int do_310();
extern int do_311();
extern int do_312();
extern int do_313();
extern int do_314();
extern int do_315();
extern int do_316();
extern int do_317();
extern int do_318();
extern int do_319();
extern int do_320();
extern int do_321();
extern int do_322();
extern int do_323();
extern int do_324();
extern int do_325();
extern int do_326();
extern int do_327();
extern int do_328();
extern int do_329();
extern int do_330();
extern int do_331();
extern int do_332();
extern int do_333();
extern int do_334();
extern int do_335();
extern int do_336();
extern int do_337();
extern int do_338();
extern int do_339();
extern int do_340();
extern int do_341();
extern int do_342();
extern int do_343();
extern int do_344();
extern int do_345();
extern int do_346();
extern int do_347();
extern int do_348();
extern int do_349();
extern int do_350();
extern int do_351();
extern int do_352();
extern int do_353();
extern int do_354();
extern int do_355();
extern int do_356();
extern int do_357();
extern int do_358();
extern int do_359();
extern int do_360();
extern int do_361();
extern int do_362();
extern int do_363();
extern int do_364();
extern int do_365();
extern int do_366();
extern int do_367();
extern int do_368();
extern int do_369();
extern int do_370();
extern int do_371();
extern int do_372();
extern int do_373();
extern int do_374();
extern int do_375();
extern int do_376();
extern int do_377();
extern int do_378();
extern int do_379();
extern int do_380();
extern int do_381();
extern int do_382();
extern int do_383();
extern int do_384();
extern int do_385();
extern int do_386();
extern int do_387();
extern int do_388();
extern int do_389();
extern int do_390();
extern int do_391();
extern int do_392();
extern int do_393();
extern int do_394();
extern int do_395();
extern int do_396();
extern int do_397();
extern int do_398();
extern int do_399();
extern int do_400();
extern int do_401();
extern int do_402();
extern int do_403();
extern int do_404();
extern int do_405();
extern int do_406();
extern int do_407();
extern int do_408();
extern int do_409();
extern int do_410();
extern int do_411();
extern int do_412();
extern int do_413();
extern int do_414();
extern int do_415();
extern int do_416();
extern int do_417();
extern int do_418();
extern int do_419();
extern int do_420();
extern int do_421();
extern int do_422();
extern int do_423();
extern int do_424();
extern int do_425();
extern int do_426();
extern int do_427();
extern int do_428();
extern int do_429();
extern int do_430();
extern int do_431();
extern int do_432();
extern int do_433();
extern int do_434();
extern int do_435();
extern int do_436();
extern int do_437();
extern int do_438();
extern int do_439();
extern int do_440();
extern int do_441();
extern int do_442();
extern int do_443();
extern int do_444();
extern int do_445();
extern int do_446();
extern int do_447();
extern int do_448();
extern int do_449();
extern int do_450();
extern int do_451();
extern int do_452();
extern int do_453();
extern int do_454();
extern int do_455();
extern int do_456();
extern int do_457();
extern int do_458();
extern int do_459();
extern int do_460();
extern int do_461();
extern int do_462();
extern int do_463();
extern int do_464();
extern int do_465();
extern int do_466();
extern int do_467();
extern int do_468();
extern int do_469();
extern int do_470();
extern int do_471();
extern int do_472();
extern int do_473();
extern int do_474();
extern int do_475();
extern int do_476();
extern int do_477();
extern int do_478();
extern int do_479();
extern int do_480();
extern int do_481();
extern int do_482();
extern int do_483();
extern int do_484();
extern int do_485();
extern int do_486();
extern int do_487();
extern int do_488();
extern int do_489();
extern int do_490();
extern int do_491();
extern int do_492();
extern int do_493();
extern int do_494();
extern int do_495();
extern int do_496();
extern int do_497();
extern int do_498();
extern int do_499();
extern int do_500();
extern int do_501();
extern int do_502();
extern int do_503();
extern int do_504();
extern int do_505();
extern int do_506();
extern int do_507();
extern int do_508();
extern int do_509();
extern int do_510();
extern int do_511();
extern int do_512();
extern int do_513();
extern int do_514();
extern int do_515();
extern int do_516();
extern int do_517();
extern int do_518();
extern int do_519();
extern int do_520();
extern int do_521();
extern int do_522();
extern int do_523();
extern int do_524();
extern int do_525();
extern int do_526();
extern int do_527();
extern int do_528();
extern int do_529();
extern int do_530();
extern int do_531();
extern int do_532();
extern int do_533();
extern int do_534();
extern int do_535();
extern int do_536();
extern int do_537();
extern int do_538();
extern int do_539();
extern int do_540();
extern int do_541();
extern int do_542();
extern int do_543();
extern int do_544();
extern int do_545();
extern int do_546();
extern int do_547();
extern int do_548();
extern int do_549();
extern int do_550();
extern int do_551();
extern int do_552();
extern int do_553();
extern int do_554();
extern int do_555();
extern int do_556();
extern int do_557();
extern int do_558();
extern int do_559();
extern int do_560();
extern int do_561();
extern int do_562();
extern int do_563();
extern int do_564();
extern int do_565();
extern int do_566();
extern int do_567();
extern int do_568();
extern int do_569();
extern int do_570();
extern int do_571();
extern int do_572();
extern int do_573();
extern int do_574();
extern int do_575();
extern int do_576();
extern int do_577();
extern int do_578();
extern int do_579();
extern int do_580();
extern int do_581();
extern int do_582();
extern int do_583();
extern int do_584();
extern int do_585();
extern int do_586();
extern int do_587();
extern int do_588();
extern int do_589();
extern int do_590();
extern int do_591();
extern int do_592();
extern int do_593();
extern int do_594();
extern int do_595();
extern int do_596();
extern int do_597();
extern int do_598();
extern int do_599();
extern int do_600();
extern int do_601();
extern int do_602();
extern int do_603();
extern int do_604();
extern int do_605();
extern int do_606();
extern int do_607();
extern int do_608();
extern int do_609();
extern int do_610();
extern int do_611();
extern int do_612();
extern int do_613();
extern int do_614();
extern int do_615();
extern int do_616();
extern int do_617();
extern int do_618();
extern int do_619();
extern int do_620();
extern int do_621();
extern int do_622();
extern int do_623();
extern int do_624();
extern int do_625();
extern int do_626();
extern int do_627();
extern int do_628();
extern int do_629();
extern int do_630();
extern int do_631();
extern int do_632();
extern int do_633();
extern int do_634();
extern int do_635();
extern int do_636();
extern int do_637();
extern int do_638();
extern int do_639();
extern int do_640();
extern int do_641();
extern int do_642();
extern int do_643();
extern int do_644();
extern int do_645();
extern int do_646();
extern int do_647();
extern int do_648();
extern int do_649();
extern int do_650();
extern int do_651();
extern int do_652();
extern int do_653();
extern int do_654();
extern int do_655();
extern int do_656();
extern int do_657();
extern int do_658();
extern int do_659();
extern int do_660();
extern int do_661();
extern int do_662();
extern int do_663();
extern int do_664();
extern int do_665();
extern int do_666();
extern int do_667();
extern int do_668();
extern int do_669();
extern int do_670();
extern int do_671();
extern int do_672();
extern int do_673();
extern int do_674();
extern int do_675();
extern int do_676();
extern int do_677();
extern int do_678();
extern int do_679();
extern int do_680();
extern int do_681();
extern int do_682();
extern int do_683();
extern int do_684();
extern int do_685();
extern int do_686();
extern int do_687();
extern int do_688();
extern int do_689();
extern int do_690();
extern int do_691();
extern int do_692();
extern int do_693();
extern int do_694();
extern int do_695();
extern int do_696();
extern int do_697();
extern int do_698();
extern int do_699();
extern int do_700();
extern int do_701();
extern int do_702();
extern int do_703();
extern int do_704();
extern int do_705();
extern int do_706();
extern int do_707();
extern int do_708();
extern int do_709();
extern int do_710();
extern int do_711();
extern int do_712();
extern int do_713();
extern int do_714();
extern int do_715();
extern int do_716();
extern int do_717();
extern int do_718();
extern int do_719();
extern int do_720();
extern int do_721();
extern int do_722();
extern int do_723();
extern int do_724();
extern int do_725();
extern int do_726();
extern int do_727();
extern int do_728();
extern int do_729();
extern int do_730();
extern int do_731();
extern int do_732();
extern int do_733();
extern int do_734();
extern int do_735();
extern int do_736();
extern int do_737();
extern int do_738();
extern int do_739();
extern int do_740();
extern int do_741();
extern int do_742();
extern int do_743();
extern int do_744();
extern int do_745();
extern int do_746();
extern int do_747();
extern int do_748();
extern int do_749();
extern int do_750();
extern int do_751();
extern int do_752();
extern int do_753();
extern int do_754();
extern int do_755();
extern int do_756();
extern int do_757();
extern int do_758();
extern int do_759();
extern int do_760();
extern int do_761();
extern int do_762();
extern int do_763();
extern int do_764();
extern int do_765();
extern int do_766();
extern int do_767();
extern int do_768();
extern int do_769();
extern int do_770();
extern int do_771();
extern int do_772();
extern int do_773();
extern int do_774();
extern int do_775();
extern int do_776();
extern int do_777();
extern int do_778();
extern int do_779();
extern int do_780();
extern int do_781();
extern int do_782();
extern int do_783();
extern int do_784();
extern int do_785();
extern int do_786();
extern int do_787();
extern int do_788();
extern int do_789();
extern int do_790();
extern int do_791();
extern int do_792();
extern int do_793();
extern int do_794();
extern int do_795();
extern int do_796();
extern int do_797();
extern int do_798();
extern int do_799();
extern int do_800();
extern int do_801();
extern int do_802();
extern int do_803();
extern int do_804();
extern int do_805();
extern int do_806();
extern int do_807();
extern int do_808();
extern int do_809();
extern int do_810();
extern int do_811();
extern int do_812();
extern int do_813();
extern int do_814();
extern int do_815();
extern int do_816();
extern int do_817();
extern int do_818();
extern int do_819();
extern int do_820();
extern int do_821();
extern int do_822();
extern int do_823();
extern int do_824();
extern int do_825();
extern int do_826();
extern int do_827();
extern int do_828();
extern int do_829();
extern int do_830();
extern int do_831();
extern int do_832();
extern int do_833();
extern int do_834();
extern int do_835();
extern int do_836();
extern int do_837();
extern int do_838();
extern int do_839();
extern int do_840();
extern int do_841();
extern int do_842();
extern int do_843();
extern int do_844();
extern int do_845();
extern int do_846();
extern int do_847();
extern int do_848();
extern int do_849();
extern int do_850();
extern int do_851();
extern int do_852();
extern int do_853();
extern int do_854();
extern int do_855();
extern int do_856();
extern int do_857();
extern int do_858();
extern int do_859();
extern int do_860();
extern int do_861();
extern int do_862();
extern int do_863();
extern int do_864();
extern int do_865();
extern int do_866();
extern int do_867();
extern int do_868();
extern int do_869();
extern int do_870();
extern int do_871();
extern int do_872();
extern int do_873();
extern int do_874();
extern int do_875();
extern int do_876();
extern int do_877();
extern int do_878();
extern int do_879();
extern int do_880();
extern int do_881();
extern int do_882();
extern int do_883();
extern int do_884();
extern int do_885();
extern int do_886();
extern int do_887();
extern int do_888();
extern int do_889();
extern int do_890();
extern int do_891();
extern int do_892();
extern int do_893();
extern int do_894();
extern int do_895();
extern int do_896();
extern int do_897();
extern int do_898();
extern int do_899();
extern int do_900();
extern int do_901();
extern int do_902();
extern int do_903();
extern int do_904();
extern int do_905();
extern int do_906();
extern int do_907();
extern int do_908();
extern int do_909();
extern int do_910();
extern int do_911();
extern int do_912();
extern int do_913();
extern int do_914();
extern int do_915();
extern int do_916();
extern int do_917();
extern int do_918();
extern int do_919();
extern int do_920();
extern int do_921();
extern int do_922();
extern int do_923();
extern int do_924();
extern int do_925();
extern int do_926();
extern int do_927();
extern int do_928();
extern int do_929();
extern int do_930();
extern int do_931();
extern int do_932();
extern int do_933();
extern int do_934();
extern int do_935();
extern int do_936();
extern int do_937();
extern int do_938();
extern int do_939();
extern int do_940();
extern int do_941();
extern int do_942();
extern int do_943();
extern int do_944();
extern int do_945();
extern int do_946();
extern int do_947();
extern int do_948();
extern int do_949();
extern int do_950();
extern int do_951();
extern int do_952();
extern int do_953();
extern int do_954();
extern int do_955();
extern int do_956();
extern int do_957();
extern int do_958();
extern int do_959();
extern int do_960();
extern int do_961();
extern int do_962();
extern int do_963();
extern int do_964();
extern int do_965();
extern int do_966();
extern int do_967();
extern int do_968();
extern int do_969();
extern int do_970();
extern int do_971();
extern int do_972();
extern int do_973();
extern int do_974();
extern int do_975();
extern int do_976();
extern int do_977();
extern int do_978();
extern int do_979();
extern int do_980();
extern int do_981();
extern int do_982();
extern int do_983();
extern int do_984();
extern int do_985();
extern int do_986();
extern int do_987();
extern int do_988();
extern int do_989();
extern int do_990();
extern int do_991();
extern int do_992();
extern int do_993();
extern int do_994();
extern int do_995();
extern int do_996();
extern int do_997();
extern int do_998();
extern int do_999();


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


int main()
{
	pthread_t worker[10];
	for (int i=0; i < 10; ++i) {
		if ( pthread_create(&worker[i], NULL, work, NULL) != 0 ) {
			FAIL("pthread_create failed");
			exit(0);
		}
	}
		
	void* result;
	for (int i=0; i < 10; ++i) {
		pthread_join(worker[i], &result);
	}
	
	PASS("thread-lazy-bind");
	return 0;
}