Loading...
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 | /* * 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; } |