unit-tests/test-cases/jump-table-race/foo.h

   1 extern void foo000(int);
   2 extern void foo001(int);
   3 extern void foo002(int);
   4 extern void foo003(int);
   5 extern void foo004(int);
   6 extern void foo005(int);
   7 extern void foo006(int);
   8 extern void foo007(int);
   9 extern void foo008(int);
  10 extern void foo009(int);
  11 extern void foo010(int);
  12 extern void foo011(int);
  13 extern void foo012(int);
  14 extern void foo013(int);
  15 extern void foo014(int);
  16 extern void foo015(int);
  17 extern void foo016(int);
  18 extern void foo017(int);
  19 extern void foo018(int);
  20 extern void foo019(int);
  21 extern void foo020(int);
  22 extern void foo021(int);
  23 extern void foo022(int);
  24 extern void foo023(int);
  25 extern void foo024(int);
  26 extern void foo025(int);
  27 extern void foo026(int);
  28 extern void foo027(int);
  29 extern void foo028(int);
  30 extern void foo029(int);
  31 extern void foo030(int);
  32 extern void foo031(int);
  33 extern void foo032(int);
  34 extern void foo033(int);
  35 extern void foo034(int);
  36 extern void foo035(int);
  37 extern void foo036(int);
  38 extern void foo037(int);
  39 extern void foo038(int);
  40 extern void foo039(int);
  41 extern void foo040(int);
  42 extern void foo041(int);
  43 extern void foo042(int);
  44 extern void foo043(int);
  45 extern void foo044(int);
  46 extern void foo045(int);
  47 extern void foo046(int);
  48 extern void foo047(int);
  49 extern void foo048(int);
  50 extern void foo049(int);
  51 extern void foo050(int);
  52 extern void foo051(int);
  53 extern void foo052(int);
  54 extern void foo053(int);
  55 extern void foo054(int);
  56 extern void foo055(int);
  57 extern void foo056(int);
  58 extern void foo057(int);
  59 extern void foo058(int);
  60 extern void foo059(int);
  61 extern void foo060(int);
  62 extern void foo061(int);
  63 extern void foo062(int);
  64 extern void foo063(int);
  65 extern void foo064(int);
  66 extern void foo065(int);
  67 extern void foo066(int);
  68 extern void foo067(int);
  69 extern void foo068(int);
  70 extern void foo069(int);
  71 extern void foo070(int);
  72 extern void foo071(int);
  73 extern void foo072(int);
  74 extern void foo073(int);
  75 extern void foo074(int);
  76 extern void foo075(int);
  77 extern void foo076(int);
  78 extern void foo077(int);
  79 extern void foo078(int);
  80 extern void foo079(int);
  81 extern void foo080(int);
  82 extern void foo081(int);
  83 extern void foo082(int);
  84 extern void foo083(int);
  85 extern void foo084(int);
  86 extern void foo085(int);
  87 extern void foo086(int);
  88 extern void foo087(int);
  89 extern void foo088(int);
  90 extern void foo089(int);
  91 extern void foo090(int);
  92 extern void foo091(int);
  93 extern void foo092(int);
  94 extern void foo093(int);
  95 extern void foo094(int);
  96 extern void foo095(int);
  97 extern void foo096(int);
  98 extern void foo097(int);
  99 extern void foo098(int);
 100 extern void foo099(int);
 101 extern void foo100(int);
 102 extern void foo101(int);
 103 extern void foo102(int);
 104 extern void foo103(int);
 105 extern void foo104(int);
 106 extern void foo105(int);
 107 extern void foo106(int);
 108 extern void foo107(int);
 109 extern void foo108(int);
 110 extern void foo109(int);
 111 extern void foo110(int);
 112 extern void foo111(int);
 113 extern void foo112(int);
 114 extern void foo113(int);
 115 extern void foo114(int);
 116 extern void foo115(int);
 117 extern void foo116(int);
 118 extern void foo117(int);
 119 extern void foo118(int);
 120 extern void foo119(int);
 121 extern void foo120(int);
 122 extern void foo121(int);
 123 extern void foo122(int);
 124 extern void foo123(int);
 125 extern void foo124(int);
 126 extern void foo125(int);
 127 extern void foo126(int);
 128 extern void foo127(int);
 129 extern void foo128(int);
 130 extern void foo129(int);
 131 extern void foo130(int);
 132 extern void foo131(int);
 133 extern void foo132(int);
 134 extern void foo133(int);
 135 extern void foo134(int);
 136 extern void foo135(int);
 137 extern void foo136(int);
 138 extern void foo137(int);
 139 extern void foo138(int);
 140 extern void foo139(int);
 141 extern void foo140(int);
 142 extern void foo141(int);
 143 extern void foo142(int);
 144 extern void foo143(int);
 145 extern void foo144(int);
 146 extern void foo145(int);
 147 extern void foo146(int);
 148 extern void foo147(int);
 149 extern void foo148(int);
 150 extern void foo149(int);
 151 extern void foo150(int);
 152 extern void foo151(int);
 153 extern void foo152(int);
 154 extern void foo153(int);
 155 extern void foo154(int);
 156 extern void foo155(int);
 157 extern void foo156(int);
 158 extern void foo157(int);
 159 extern void foo158(int);
 160 extern void foo159(int);
 161 extern void foo160(int);
 162 extern void foo161(int);
 163 extern void foo162(int);
 164 extern void foo163(int);
 165 extern void foo164(int);
 166 extern void foo165(int);
 167 extern void foo166(int);
 168 extern void foo167(int);
 169 extern void foo168(int);
 170 extern void foo169(int);
 171 extern void foo170(int);
 172 extern void foo171(int);
 173 extern void foo172(int);
 174 extern void foo173(int);
 175 extern void foo174(int);
 176 extern void foo175(int);
 177 extern void foo176(int);
 178 extern void foo177(int);
 179 extern void foo178(int);
 180 extern void foo179(int);
 181 extern void foo180(int);
 182 extern void foo181(int);
 183 extern void foo182(int);
 184 extern void foo183(int);
 185 extern void foo184(int);
 186 extern void foo185(int);
 187 extern void foo186(int);
 188 extern void foo187(int);
 189 extern void foo188(int);
 190 extern void foo189(int);
 191 extern void foo190(int);
 192 extern void foo191(int);
 193 extern void foo192(int);
 194 extern void foo193(int);
 195 extern void foo194(int);
 196 extern void foo195(int);
 197 extern void foo196(int);
 198 extern void foo197(int);
 199 extern void foo198(int);
 200 extern void foo199(int);
 201 extern void foo200(int);
 202 extern void foo201(int);
 203 extern void foo202(int);
 204 extern void foo203(int);
 205 extern void foo204(int);
 206 extern void foo205(int);
 207 extern void foo206(int);
 208 extern void foo207(int);
 209 extern void foo208(int);
 210 extern void foo209(int);
 211 extern void foo210(int);
 212 extern void foo211(int);
 213 extern void foo212(int);
 214 extern void foo213(int);
 215 extern void foo214(int);
 216 extern void foo215(int);
 217 extern void foo216(int);
 218 extern void foo217(int);
 219 extern void foo218(int);
 220 extern void foo219(int);
 221 extern void foo220(int);
 222 extern void foo221(int);
 223 extern void foo222(int);
 224 extern void foo223(int);
 225 extern void foo224(int);
 226 extern void foo225(int);
 227 extern void foo226(int);
 228 extern void foo227(int);
 229 extern void foo228(int);
 230 extern void foo229(int);
 231 extern void foo230(int);
 232 extern void foo231(int);
 233 extern void foo232(int);
 234 extern void foo233(int);
 235 extern void foo234(int);
 236 extern void foo235(int);
 237 extern void foo236(int);
 238 extern void foo237(int);
 239 extern void foo238(int);
 240 extern void foo239(int);
 241 extern void foo240(int);
 242 extern void foo241(int);
 243 extern void foo242(int);
 244 extern void foo243(int);
 245 extern void foo244(int);
 246 extern void foo245(int);
 247 extern void foo246(int);
 248 extern void foo247(int);
 249 extern void foo248(int);
 250 extern void foo249(int);
 251 extern void foo250(int);
 252 extern void foo251(int);
 253 extern void foo252(int);
 254 extern void foo253(int);
 255 extern void foo254(int);
 256 extern void foo255(int);
 257 extern void foo256(int);
 258 extern void foo257(int);
 259 extern void foo258(int);
 260 extern void foo259(int);
 261 extern void foo260(int);
 262 extern void foo261(int);
 263 extern void foo262(int);
 264 extern void foo263(int);
 265 extern void foo264(int);
 266 extern void foo265(int);
 267 extern void foo266(int);
 268 extern void foo267(int);
 269 extern void foo268(int);
 270 extern void foo269(int);
 271 extern void foo270(int);
 272 extern void foo271(int);
 273 extern void foo272(int);
 274 extern void foo273(int);
 275 extern void foo274(int);
 276 extern void foo275(int);
 277 extern void foo276(int);
 278 extern void foo277(int);
 279 extern void foo278(int);
 280 extern void foo279(int);
 281 extern void foo280(int);
 282 extern void foo281(int);
 283 extern void foo282(int);
 284 extern void foo283(int);
 285 extern void foo284(int);
 286 extern void foo285(int);
 287 extern void foo286(int);
 288 extern void foo287(int);
 289 extern void foo288(int);
 290 extern void foo289(int);
 291 extern void foo290(int);
 292 extern void foo291(int);
 293 extern void foo292(int);
 294 extern void foo293(int);
 295 extern void foo294(int);
 296 extern void foo295(int);
 297 extern void foo296(int);
 298 extern void foo297(int);
 299 extern void foo298(int);
 300 extern void foo299(int);
 301 extern void foo300(int);
 302 extern void foo301(int);
 303 extern void foo302(int);
 304 extern void foo303(int);
 305 extern void foo304(int);
 306 extern void foo305(int);
 307 extern void foo306(int);
 308 extern void foo307(int);
 309 extern void foo308(int);
 310 extern void foo309(int);
 311 extern void foo310(int);
 312 extern void foo311(int);
 313 extern void foo312(int);
 314 extern void foo313(int);
 315 extern void foo314(int);
 316 extern void foo315(int);
 317 extern void foo316(int);
 318 extern void foo317(int);
 319 extern void foo318(int);
 320 extern void foo319(int);
 321 extern void foo320(int);
 322 extern void foo321(int);
 323 extern void foo322(int);
 324 extern void foo323(int);
 325 extern void foo324(int);
 326 extern void foo325(int);
 327 extern void foo326(int);
 328 extern void foo327(int);
 329 extern void foo328(int);
 330 extern void foo329(int);
 331 extern void foo330(int);
 332 extern void foo331(int);
 333 extern void foo332(int);
 334 extern void foo333(int);
 335 extern void foo334(int);
 336 extern void foo335(int);
 337 extern void foo336(int);
 338 extern void foo337(int);
 339 extern void foo338(int);
 340 extern void foo339(int);
 341 extern void foo340(int);
 342 extern void foo341(int);
 343 extern void foo342(int);
 344 extern void foo343(int);
 345 extern void foo344(int);
 346 extern void foo345(int);
 347 extern void foo346(int);
 348 extern void foo347(int);
 349 extern void foo348(int);
 350 extern void foo349(int);
 351 extern void foo350(int);
 352 extern void foo351(int);
 353 extern void foo352(int);
 354 extern void foo353(int);
 355 extern void foo354(int);
 356 extern void foo355(int);
 357 extern void foo356(int);
 358 extern void foo357(int);
 359 extern void foo358(int);
 360 extern void foo359(int);
 361 extern void foo360(int);
 362 extern void foo361(int);
 363 extern void foo362(int);
 364 extern void foo363(int);
 365 extern void foo364(int);
 366 extern void foo365(int);
 367 extern void foo366(int);
 368 extern void foo367(int);
 369 extern void foo368(int);
 370 extern void foo369(int);
 371 extern void foo370(int);
 372 extern void foo371(int);
 373 extern void foo372(int);
 374 extern void foo373(int);
 375 extern void foo374(int);
 376 extern void foo375(int);
 377 extern void foo376(int);
 378 extern void foo377(int);
 379 extern void foo378(int);
 380 extern void foo379(int);
 381 extern void foo380(int);
 382 extern void foo381(int);
 383 extern void foo382(int);
 384 extern void foo383(int);
 385 extern void foo384(int);
 386 extern void foo385(int);
 387 extern void foo386(int);
 388 extern void foo387(int);
 389 extern void foo388(int);
 390 extern void foo389(int);
 391 extern void foo390(int);
 392 extern void foo391(int);
 393 extern void foo392(int);
 394 extern void foo393(int);
 395 extern void foo394(int);
 396 extern void foo395(int);
 397 extern void foo396(int);
 398 extern void foo397(int);
 399 extern void foo398(int);
 400 extern void foo399(int);
 401 extern void foo400(int);
 402 extern void foo401(int);
 403 extern void foo402(int);
 404 extern void foo403(int);
 405 extern void foo404(int);
 406 extern void foo405(int);
 407 extern void foo406(int);
 408 extern void foo407(int);
 409 extern void foo408(int);
 410 extern void foo409(int);
 411 extern void foo410(int);
 412 extern void foo411(int);
 413 extern void foo412(int);
 414 extern void foo413(int);
 415 extern void foo414(int);
 416 extern void foo415(int);
 417 extern void foo416(int);
 418 extern void foo417(int);
 419 extern void foo418(int);
 420 extern void foo419(int);
 421 extern void foo420(int);
 422 extern void foo421(int);
 423 extern void foo422(int);
 424 extern void foo423(int);
 425 extern void foo424(int);
 426 extern void foo425(int);
 427 extern void foo426(int);
 428 extern void foo427(int);
 429 extern void foo428(int);
 430 extern void foo429(int);
 431 extern void foo430(int);
 432 extern void foo431(int);
 433 extern void foo432(int);
 434 extern void foo433(int);
 435 extern void foo434(int);
 436 extern void foo435(int);
 437 extern void foo436(int);
 438 extern void foo437(int);
 439 extern void foo438(int);
 440 extern void foo439(int);
 441 extern void foo440(int);
 442 extern void foo441(int);
 443 extern void foo442(int);
 444 extern void foo443(int);
 445 extern void foo444(int);
 446 extern void foo445(int);
 447 extern void foo446(int);
 448 extern void foo447(int);
 449 extern void foo448(int);
 450 extern void foo449(int);
 451 extern void foo450(int);
 452 extern void foo451(int);
 453 extern void foo452(int);
 454 extern void foo453(int);
 455 extern void foo454(int);
 456 extern void foo455(int);
 457 extern void foo456(int);
 458 extern void foo457(int);
 459 extern void foo458(int);
 460 extern void foo459(int);
 461 extern void foo460(int);
 462 extern void foo461(int);
 463 extern void foo462(int);
 464 extern void foo463(int);
 465 extern void foo464(int);
 466 extern void foo465(int);
 467 extern void foo466(int);
 468 extern void foo467(int);
 469 extern void foo468(int);
 470 extern void foo469(int);
 471 extern void foo470(int);
 472 extern void foo471(int);
 473 extern void foo472(int);
 474 extern void foo473(int);
 475 extern void foo474(int);
 476 extern void foo475(int);
 477 extern void foo476(int);
 478 extern void foo477(int);
 479 extern void foo478(int);
 480 extern void foo479(int);
 481 extern void foo480(int);
 482 extern void foo481(int);
 483 extern void foo482(int);
 484 extern void foo483(int);
 485 extern void foo484(int);
 486 extern void foo485(int);
 487 extern void foo486(int);
 488 extern void foo487(int);
 489 extern void foo488(int);
 490 extern void foo489(int);
 491 extern void foo490(int);
 492 extern void foo491(int);
 493 extern void foo492(int);
 494 extern void foo493(int);
 495 extern void foo494(int);
 496 extern void foo495(int);
 497 extern void foo496(int);
 498 extern void foo497(int);
 499 extern void foo498(int);
 500 extern void foo499(int);
 501 extern void foo500(int);
 502 extern void foo501(int);
 503 extern void foo502(int);
 504 extern void foo503(int);
 505 extern void foo504(int);
 506 extern void foo505(int);
 507 extern void foo506(int);
 508 extern void foo507(int);
 509 extern void foo508(int);
 510 extern void foo509(int);
 511 extern void foo510(int);
 512 extern void foo511(int);
 513 extern void foo512(int);
 514 extern void foo513(int);
 515 extern void foo514(int);
 516 extern void foo515(int);
 517 extern void foo516(int);
 518 extern void foo517(int);
 519 extern void foo518(int);
 520 extern void foo519(int);
 521 extern void foo520(int);
 522 extern void foo521(int);
 523 extern void foo522(int);
 524 extern void foo523(int);
 525 extern void foo524(int);
 526 extern void foo525(int);
 527 extern void foo526(int);
 528 extern void foo527(int);
 529 extern void foo528(int);
 530 extern void foo529(int);
 531 extern void foo530(int);
 532 extern void foo531(int);
 533 extern void foo532(int);
 534 extern void foo533(int);
 535 extern void foo534(int);
 536 extern void foo535(int);
 537 extern void foo536(int);
 538 extern void foo537(int);
 539 extern void foo538(int);
 540 extern void foo539(int);
 541 extern void foo540(int);
 542 extern void foo541(int);
 543 extern void foo542(int);
 544 extern void foo543(int);
 545 extern void foo544(int);
 546 extern void foo545(int);
 547 extern void foo546(int);
 548 extern void foo547(int);
 549 extern void foo548(int);
 550 extern void foo549(int);
 551 extern void foo550(int);
 552 extern void foo551(int);
 553 extern void foo552(int);
 554 extern void foo553(int);
 555 extern void foo554(int);
 556 extern void foo555(int);
 557 extern void foo556(int);
 558 extern void foo557(int);
 559 extern void foo558(int);
 560 extern void foo559(int);
 561 extern void foo560(int);
 562 extern void foo561(int);
 563 extern void foo562(int);
 564 extern void foo563(int);
 565 extern void foo564(int);
 566 extern void foo565(int);
 567 extern void foo566(int);
 568 extern void foo567(int);
 569 extern void foo568(int);
 570 extern void foo569(int);
 571 extern void foo570(int);
 572 extern void foo571(int);
 573 extern void foo572(int);
 574 extern void foo573(int);
 575 extern void foo574(int);
 576 extern void foo575(int);
 577 extern void foo576(int);
 578 extern void foo577(int);
 579 extern void foo578(int);
 580 extern void foo579(int);
 581 extern void foo580(int);
 582 extern void foo581(int);
 583 extern void foo582(int);
 584 extern void foo583(int);
 585 extern void foo584(int);
 586 extern void foo585(int);
 587 extern void foo586(int);
 588 extern void foo587(int);
 589 extern void foo588(int);
 590 extern void foo589(int);
 591 extern void foo590(int);
 592 extern void foo591(int);
 593 extern void foo592(int);
 594 extern void foo593(int);
 595 extern void foo594(int);
 596 extern void foo595(int);
 597 extern void foo596(int);
 598 extern void foo597(int);
 599 extern void foo598(int);
 600 extern void foo599(int);
 601 extern void foo600(int);
 602 extern void foo601(int);
 603 extern void foo602(int);
 604 extern void foo603(int);
 605 extern void foo604(int);
 606 extern void foo605(int);
 607 extern void foo606(int);
 608 extern void foo607(int);
 609 extern void foo608(int);
 610 extern void foo609(int);
 611 extern void foo610(int);
 612 extern void foo611(int);
 613 extern void foo612(int);
 614 extern void foo613(int);
 615 extern void foo614(int);
 616 extern void foo615(int);
 617 extern void foo616(int);
 618 extern void foo617(int);
 619 extern void foo618(int);
 620 extern void foo619(int);
 621 extern void foo620(int);
 622 extern void foo621(int);
 623 extern void foo622(int);
 624 extern void foo623(int);
 625 extern void foo624(int);
 626 extern void foo625(int);
 627 extern void foo626(int);
 628 extern void foo627(int);
 629 extern void foo628(int);
 630 extern void foo629(int);
 631 extern void foo630(int);
 632 extern void foo631(int);
 633 extern void foo632(int);
 634 extern void foo633(int);
 635 extern void foo634(int);
 636 extern void foo635(int);
 637 extern void foo636(int);
 638 extern void foo637(int);
 639 extern void foo638(int);
 640 extern void foo639(int);
 641 extern void foo640(int);
 642 extern void foo641(int);
 643 extern void foo642(int);
 644 extern void foo643(int);
 645 extern void foo644(int);
 646 extern void foo645(int);
 647 extern void foo646(int);
 648 extern void foo647(int);
 649 extern void foo648(int);
 650 extern void foo649(int);
 651 extern void foo650(int);
 652 extern void foo651(int);
 653 extern void foo652(int);
 654 extern void foo653(int);
 655 extern void foo654(int);
 656 extern void foo655(int);
 657 extern void foo656(int);
 658 extern void foo657(int);
 659 extern void foo658(int);
 660 extern void foo659(int);
 661 extern void foo660(int);
 662 extern void foo661(int);
 663 extern void foo662(int);
 664 extern void foo663(int);
 665 extern void foo664(int);
 666 extern void foo665(int);
 667 extern void foo666(int);
 668 extern void foo667(int);
 669 extern void foo668(int);
 670 extern void foo669(int);
 671 extern void foo670(int);
 672 extern void foo671(int);
 673 extern void foo672(int);
 674 extern void foo673(int);
 675 extern void foo674(int);
 676 extern void foo675(int);
 677 extern void foo676(int);
 678 extern void foo677(int);
 679 extern void foo678(int);
 680 extern void foo679(int);
 681 extern void foo680(int);
 682 extern void foo681(int);
 683 extern void foo682(int);
 684 extern void foo683(int);
 685 extern void foo684(int);
 686 extern void foo685(int);
 687 extern void foo686(int);
 688 extern void foo687(int);
 689 extern void foo688(int);
 690 extern void foo689(int);
 691 extern void foo690(int);
 692 extern void foo691(int);
 693 extern void foo692(int);
 694 extern void foo693(int);
 695 extern void foo694(int);
 696 extern void foo695(int);
 697 extern void foo696(int);
 698 extern void foo697(int);
 699 extern void foo698(int);
 700 extern void foo699(int);
 701 extern void foo700(int);
 702 extern void foo701(int);
 703 extern void foo702(int);
 704 extern void foo703(int);
 705 extern void foo704(int);
 706 extern void foo705(int);
 707 extern void foo706(int);
 708 extern void foo707(int);
 709 extern void foo708(int);
 710 extern void foo709(int);
 711 extern void foo710(int);
 712 extern void foo711(int);
 713 extern void foo712(int);
 714 extern void foo713(int);
 715 extern void foo714(int);
 716 extern void foo715(int);
 717 extern void foo716(int);
 718 extern void foo717(int);
 719 extern void foo718(int);
 720 extern void foo719(int);
 721 extern void foo720(int);
 722 extern void foo721(int);
 723 extern void foo722(int);
 724 extern void foo723(int);
 725 extern void foo724(int);
 726 extern void foo725(int);
 727 extern void foo726(int);
 728 extern void foo727(int);
 729 extern void foo728(int);
 730 extern void foo729(int);
 731 extern void foo730(int);
 732 extern void foo731(int);
 733 extern void foo732(int);
 734 extern void foo733(int);
 735 extern void foo734(int);
 736 extern void foo735(int);
 737 extern void foo736(int);
 738 extern void foo737(int);
 739 extern void foo738(int);
 740 extern void foo739(int);
 741 extern void foo740(int);
 742 extern void foo741(int);
 743 extern void foo742(int);
 744 extern void foo743(int);
 745 extern void foo744(int);
 746 extern void foo745(int);
 747 extern void foo746(int);
 748 extern void foo747(int);
 749 extern void foo748(int);
 750 extern void foo749(int);
 751 extern void foo750(int);
 752 extern void foo751(int);
 753 extern void foo752(int);
 754 extern void foo753(int);
 755 extern void foo754(int);
 756 extern void foo755(int);
 757 extern void foo756(int);
 758 extern void foo757(int);
 759 extern void foo758(int);
 760 extern void foo759(int);
 761 extern void foo760(int);
 762 extern void foo761(int);
 763 extern void foo762(int);
 764 extern void foo763(int);
 765 extern void foo764(int);
 766 extern void foo765(int);
 767 extern void foo766(int);
 768 extern void foo767(int);
 769 extern void foo768(int);
 770 extern void foo769(int);
 771 extern void foo770(int);
 772 extern void foo771(int);
 773 extern void foo772(int);
 774 extern void foo773(int);
 775 extern void foo774(int);
 776 extern void foo775(int);
 777 extern void foo776(int);
 778 extern void foo777(int);
 779 extern void foo778(int);
 780 extern void foo779(int);
 781 extern void foo780(int);
 782 extern void foo781(int);
 783 extern void foo782(int);
 784 extern void foo783(int);
 785 extern void foo784(int);
 786 extern void foo785(int);
 787 extern void foo786(int);
 788 extern void foo787(int);
 789 extern void foo788(int);
 790 extern void foo789(int);
 791 extern void foo790(int);
 792 extern void foo791(int);
 793 extern void foo792(int);
 794 extern void foo793(int);
 795 extern void foo794(int);
 796 extern void foo795(int);
 797 extern void foo796(int);
 798 extern void foo797(int);
 799 extern void foo798(int);
 800 extern void foo799(int);
 801 extern void foo800(int);
 802 extern void foo801(int);
 803 extern void foo802(int);
 804 extern void foo803(int);
 805 extern void foo804(int);
 806 extern void foo805(int);
 807 extern void foo806(int);
 808 extern void foo807(int);
 809 extern void foo808(int);
 810 extern void foo809(int);
 811 extern void foo810(int);
 812 extern void foo811(int);
 813 extern void foo812(int);
 814 extern void foo813(int);
 815 extern void foo814(int);
 816 extern void foo815(int);
 817 extern void foo816(int);
 818 extern void foo817(int);
 819 extern void foo818(int);
 820 extern void foo819(int);
 821 extern void foo820(int);
 822 extern void foo821(int);
 823 extern void foo822(int);
 824 extern void foo823(int);
 825 extern void foo824(int);