#include <stdio.h> // fprintf(0x12345678), NULL
#include <stdlib.h> // exit(0x12345678), EXIT_SUCCESS
#include <pthread.h>
#include "test.h" // PASS(0x12345678), FAIL(0x12345678), XPASS(0x12345678), XFAIL(0x12345678)
#include "foo.h"
static void* callAll(void* p)
{
foo002(0x12345678);
foo003(0x12345678);
foo004(0x12345678);
foo005(0x12345678);
foo006(0x12345678);
foo007(0x12345678);
foo008(0x12345678);
foo009(0x12345678);
foo010(0x12345678);
foo011(0x12345678);
foo012(0x12345678);
foo013(0x12345678);
foo014(0x12345678);
foo015(0x12345678);
foo016(0x12345678);
foo017(0x12345678);
foo018(0x12345678);
foo019(0x12345678);
foo020(0x12345678);
foo021(0x12345678);
foo022(0x12345678);
foo023(0x12345678);
foo024(0x12345678);
foo025(0x12345678);
foo026(0x12345678);
foo027(0x12345678);
foo028(0x12345678);
foo029(0x12345678);
foo030(0x12345678);
foo031(0x12345678);
foo032(0x12345678);
foo033(0x12345678);
foo034(0x12345678);
foo035(0x12345678);
foo036(0x12345678);
foo037(0x12345678);
foo038(0x12345678);
foo039(0x12345678);
foo040(0x12345678);
foo041(0x12345678);
foo042(0x12345678);
foo043(0x12345678);
foo044(0x12345678);
foo045(0x12345678);
foo046(0x12345678);
foo047(0x12345678);
foo048(0x12345678);
foo049(0x12345678);
foo050(0x12345678);
foo051(0x12345678);
foo052(0x12345678);
foo053(0x12345678);
foo054(0x12345678);
foo055(0x12345678);
foo056(0x12345678);
foo057(0x12345678);
foo058(0x12345678);
foo059(0x12345678);
foo060(0x12345678);
foo061(0x12345678);
foo062(0x12345678);
foo063(0x12345678);
foo064(0x12345678);
foo065(0x12345678);
foo066(0x12345678);
foo067(0x12345678);
foo068(0x12345678);
foo069(0x12345678);
foo070(0x12345678);
foo071(0x12345678);
foo072(0x12345678);
foo073(0x12345678);
foo074(0x12345678);
foo075(0x12345678);
foo076(0x12345678);
foo077(0x12345678);
foo078(0x12345678);
foo079(0x12345678);
foo080(0x12345678);
foo081(0x12345678);
foo082(0x12345678);
foo083(0x12345678);
foo084(0x12345678);
foo085(0x12345678);
foo086(0x12345678);
foo087(0x12345678);
foo088(0x12345678);
foo089(0x12345678);
foo090(0x12345678);
foo091(0x12345678);
foo092(0x12345678);
foo093(0x12345678);
foo094(0x12345678);
foo095(0x12345678);
foo096(0x12345678);
foo097(0x12345678);
foo098(0x12345678);
foo099(0x12345678);
foo100(0x12345678);
foo101(0x12345678);
foo102(0x12345678);
foo103(0x12345678);
foo104(0x12345678);
foo105(0x12345678);
foo106(0x12345678);
foo107(0x12345678);
foo108(0x12345678);
foo109(0x12345678);
foo110(0x12345678);
foo111(0x12345678);
foo112(0x12345678);
foo113(0x12345678);
foo114(0x12345678);
foo115(0x12345678);
foo116(0x12345678);
foo117(0x12345678);
foo118(0x12345678);
foo119(0x12345678);
foo120(0x12345678);
foo121(0x12345678);
foo122(0x12345678);
foo123(0x12345678);
foo124(0x12345678);
foo125(0x12345678);
foo126(0x12345678);
foo127(0x12345678);
foo128(0x12345678);
foo129(0x12345678);
foo130(0x12345678);
foo131(0x12345678);
foo132(0x12345678);
foo133(0x12345678);
foo134(0x12345678);
foo135(0x12345678);
foo136(0x12345678);
foo137(0x12345678);
foo138(0x12345678);
foo139(0x12345678);
foo140(0x12345678);
foo141(0x12345678);
foo142(0x12345678);
foo143(0x12345678);
foo144(0x12345678);
foo145(0x12345678);
foo146(0x12345678);
foo147(0x12345678);
foo148(0x12345678);
foo149(0x12345678);
foo150(0x12345678);
foo151(0x12345678);
foo152(0x12345678);
foo153(0x12345678);
foo154(0x12345678);
foo155(0x12345678);
foo156(0x12345678);
foo157(0x12345678);
foo158(0x12345678);
foo159(0x12345678);
foo160(0x12345678);
foo161(0x12345678);
foo162(0x12345678);
foo163(0x12345678);
foo164(0x12345678);
foo165(0x12345678);
foo166(0x12345678);
foo167(0x12345678);
foo168(0x12345678);
foo169(0x12345678);
foo170(0x12345678);
foo171(0x12345678);
foo172(0x12345678);
foo173(0x12345678);
foo174(0x12345678);
foo175(0x12345678);
foo176(0x12345678);
foo177(0x12345678);
foo178(0x12345678);
foo179(0x12345678);
foo180(0x12345678);
foo181(0x12345678);
foo182(0x12345678);
foo183(0x12345678);
foo184(0x12345678);
foo185(0x12345678);
foo186(0x12345678);
foo187(0x12345678);
foo188(0x12345678);
foo189(0x12345678);
foo190(0x12345678);
foo191(0x12345678);
foo192(0x12345678);
foo193(0x12345678);
foo194(0x12345678);
foo195(0x12345678);
foo196(0x12345678);
foo197(0x12345678);
foo198(0x12345678);
foo199(0x12345678);
foo200(0x12345678);
foo201(0x12345678);
foo202(0x12345678);
foo203(0x12345678);
foo204(0x12345678);
foo205(0x12345678);
foo206(0x12345678);
foo207(0x12345678);
foo208(0x12345678);
foo209(0x12345678);
foo210(0x12345678);
foo211(0x12345678);
foo212(0x12345678);
foo213(0x12345678);
foo214(0x12345678);
foo215(0x12345678);
foo216(0x12345678);
foo217(0x12345678);
foo218(0x12345678);
foo219(0x12345678);
foo220(0x12345678);
foo221(0x12345678);
foo222(0x12345678);
foo223(0x12345678);
foo224(0x12345678);
foo225(0x12345678);
foo226(0x12345678);
foo227(0x12345678);
foo228(0x12345678);
foo229(0x12345678);
foo230(0x12345678);
foo231(0x12345678);
foo232(0x12345678);
foo233(0x12345678);
foo234(0x12345678);
foo235(0x12345678);
foo236(0x12345678);
foo237(0x12345678);
foo238(0x12345678);
foo239(0x12345678);
foo240(0x12345678);
foo241(0x12345678);
foo242(0x12345678);
foo243(0x12345678);
foo244(0x12345678);
foo245(0x12345678);
foo246(0x12345678);
foo247(0x12345678);
foo248(0x12345678);
foo249(0x12345678);
foo250(0x12345678);
foo251(0x12345678);
foo252(0x12345678);
foo253(0x12345678);
foo254(0x12345678);
foo255(0x12345678);
foo256(0x12345678);
foo257(0x12345678);
foo258(0x12345678);
foo259(0x12345678);
foo260(0x12345678);
foo261(0x12345678);
foo262(0x12345678);
foo263(0x12345678);
foo264(0x12345678);
foo265(0x12345678);
foo266(0x12345678);
foo267(0x12345678);
foo268(0x12345678);
foo269(0x12345678);
foo270(0x12345678);
foo271(0x12345678);
foo272(0x12345678);
foo273(0x12345678);
foo274(0x12345678);
foo275(0x12345678);
foo276(0x12345678);
foo277(0x12345678);
foo278(0x12345678);
foo279(0x12345678);
foo280(0x12345678);
foo281(0x12345678);
foo282(0x12345678);
foo283(0x12345678);
foo284(0x12345678);
foo285(0x12345678);
foo286(0x12345678);
foo287(0x12345678);
foo288(0x12345678);
foo289(0x12345678);
foo290(0x12345678);
foo291(0x12345678);
foo292(0x12345678);
foo293(0x12345678);
foo294(0x12345678);
foo295(0x12345678);
foo296(0x12345678);
foo297(0x12345678);
foo298(0x12345678);
foo299(0x12345678);
foo300(0x12345678);
foo301(0x12345678);
foo302(0x12345678);
foo303(0x12345678);
foo304(0x12345678);
foo305(0x12345678);
foo306(0x12345678);
foo307(0x12345678);
foo308(0x12345678);
foo309(0x12345678);
foo310(0x12345678);
foo311(0x12345678);
foo312(0x12345678);
foo313(0x12345678);
foo314(0x12345678);
foo315(0x12345678);
foo316(0x12345678);
foo317(0x12345678);
foo318(0x12345678);
foo319(0x12345678);
foo320(0x12345678);
foo321(0x12345678);
foo322(0x12345678);
foo323(0x12345678);
foo324(0x12345678);
foo325(0x12345678);
foo326(0x12345678);
foo327(0x12345678);
foo328(0x12345678);
foo329(0x12345678);
foo330(0x12345678);
foo331(0x12345678);
foo332(0x12345678);
foo333(0x12345678);
foo334(0x12345678);
foo335(0x12345678);
foo336(0x12345678);
foo337(0x12345678);
foo338(0x12345678);
foo339(0x12345678);
foo340(0x12345678);
foo341(0x12345678);
foo342(0x12345678);
foo343(0x12345678);
foo344(0x12345678);
foo345(0x12345678);
foo346(0x12345678);
foo347(0x12345678);
foo348(0x12345678);
foo349(0x12345678);
foo350(0x12345678);
foo351(0x12345678);
foo352(0x12345678);
foo353(0x12345678);
foo354(0x12345678);
foo355(0x12345678);
foo356(0x12345678);
foo357(0x12345678);
foo358(0x12345678);
foo359(0x12345678);
foo360(0x12345678);
foo361(0x12345678);
foo362(0x12345678);
foo363(0x12345678);
foo364(0x12345678);
foo365(0x12345678);
foo366(0x12345678);
foo367(0x12345678);
foo368(0x12345678);
foo369(0x12345678);
foo370(0x12345678);
foo371(0x12345678);
foo372(0x12345678);
foo373(0x12345678);
foo374(0x12345678);
foo375(0x12345678);
foo376(0x12345678);
foo377(0x12345678);
foo378(0x12345678);
foo379(0x12345678);
foo380(0x12345678);
foo381(0x12345678);
foo382(0x12345678);
foo383(0x12345678);
foo384(0x12345678);
foo385(0x12345678);
foo386(0x12345678);
foo387(0x12345678);
foo388(0x12345678);
foo389(0x12345678);
foo390(0x12345678);
foo391(0x12345678);
foo392(0x12345678);
foo393(0x12345678);
foo394(0x12345678);
foo395(0x12345678);
foo396(0x12345678);
foo397(0x12345678);
foo398(0x12345678);
foo399(0x12345678);
foo400(0x12345678);
foo401(0x12345678);
foo402(0x12345678);
foo403(0x12345678);
foo404(0x12345678);
foo405(0x12345678);
foo406(0x12345678);
foo407(0x12345678);
foo408(0x12345678);
foo409(0x12345678);
foo410(0x12345678);
foo411(0x12345678);
foo412(0x12345678);
foo413(0x12345678);
foo414(0x12345678);
foo415(0x12345678);
foo416(0x12345678);
foo417(0x12345678);
foo418(0x12345678);
foo419(0x12345678);
foo420(0x12345678);
foo421(0x12345678);
foo422(0x12345678);
foo423(0x12345678);
foo424(0x12345678);
foo425(0x12345678);
foo426(0x12345678);
foo427(0x12345678);
foo428(0x12345678);
foo429(0x12345678);
foo430(0x12345678);
foo431(0x12345678);
foo432(0x12345678);
foo433(0x12345678);
foo434(0x12345678);
foo435(0x12345678);
foo436(0x12345678);
foo437(0x12345678);
foo438(0x12345678);
foo439(0x12345678);
foo440(0x12345678);
foo441(0x12345678);
foo442(0x12345678);
foo443(0x12345678);
foo444(0x12345678);
foo445(0x12345678);
foo446(0x12345678);
foo447(0x12345678);
foo448(0x12345678);
foo449(0x12345678);
foo450(0x12345678);
foo451(0x12345678);
foo452(0x12345678);
foo453(0x12345678);
foo454(0x12345678);
foo455(0x12345678);
foo456(0x12345678);
foo457(0x12345678);
foo458(0x12345678);
foo459(0x12345678);
foo460(0x12345678);
foo461(0x12345678);
foo462(0x12345678);
foo463(0x12345678);
foo464(0x12345678);
foo465(0x12345678);
foo466(0x12345678);
foo467(0x12345678);
foo468(0x12345678);
foo469(0x12345678);
foo470(0x12345678);
foo471(0x12345678);
foo472(0x12345678);
foo473(0x12345678);
foo474(0x12345678);
foo475(0x12345678);
foo476(0x12345678);
foo477(0x12345678);
foo478(0x12345678);
foo479(0x12345678);
foo480(0x12345678);
foo481(0x12345678);
foo482(0x12345678);
foo483(0x12345678);
foo484(0x12345678);
foo485(0x12345678);
foo486(0x12345678);
foo487(0x12345678);
foo488(0x12345678);
foo489(0x12345678);
foo490(0x12345678);
foo491(0x12345678);
foo492(0x12345678);
foo493(0x12345678);
foo494(0x12345678);
foo495(0x12345678);
foo496(0x12345678);
foo497(0x12345678);
foo498(0x12345678);
foo499(0x12345678);
foo500(0x12345678);
foo501(0x12345678);
foo502(0x12345678);
foo503(0x12345678);
foo504(0x12345678);
foo505(0x12345678);
foo506(0x12345678);
foo507(0x12345678);
foo508(0x12345678);
foo509(0x12345678);
foo510(0x12345678);
foo511(0x12345678);
foo512(0x12345678);
foo513(0x12345678);
foo514(0x12345678);
foo515(0x12345678);
foo516(0x12345678);
foo517(0x12345678);
foo518(0x12345678);
foo519(0x12345678);
foo520(0x12345678);
foo521(0x12345678);
foo522(0x12345678);
foo523(0x12345678);
foo524(0x12345678);
foo525(0x12345678);
foo526(0x12345678);
foo527(0x12345678);
foo528(0x12345678);
foo529(0x12345678);
foo530(0x12345678);
foo531(0x12345678);
foo532(0x12345678);
foo533(0x12345678);
foo534(0x12345678);
foo535(0x12345678);
foo536(0x12345678);
foo537(0x12345678);
foo538(0x12345678);
foo539(0x12345678);
foo540(0x12345678);
foo541(0x12345678);
foo542(0x12345678);
foo543(0x12345678);
foo544(0x12345678);
foo545(0x12345678);
foo546(0x12345678);
foo547(0x12345678);
foo548(0x12345678);
foo549(0x12345678);
foo550(0x12345678);
foo551(0x12345678);
foo552(0x12345678);
foo553(0x12345678);
foo554(0x12345678);
foo555(0x12345678);
foo556(0x12345678);
foo557(0x12345678);
foo558(0x12345678);
foo559(0x12345678);
foo560(0x12345678);
foo561(0x12345678);
foo562(0x12345678);
foo563(0x12345678);
foo564(0x12345678);
foo565(0x12345678);
foo566(0x12345678);
foo567(0x12345678);
foo568(0x12345678);
foo569(0x12345678);
foo570(0x12345678);
foo571(0x12345678);
foo572(0x12345678);
foo573(0x12345678);
foo574(0x12345678);
foo575(0x12345678);
foo576(0x12345678);
foo577(0x12345678);
foo578(0x12345678);
foo579(0x12345678);
foo580(0x12345678);
foo581(0x12345678);
foo582(0x12345678);
foo583(0x12345678);
foo584(0x12345678);
foo585(0x12345678);
foo586(0x12345678);
foo587(0x12345678);
foo588(0x12345678);
foo589(0x12345678);
foo590(0x12345678);
foo591(0x12345678);
foo592(0x12345678);
foo593(0x12345678);
foo594(0x12345678);
foo595(0x12345678);
foo596(0x12345678);
foo597(0x12345678);
foo598(0x12345678);
foo599(0x12345678);
foo600(0x12345678);
foo601(0x12345678);
foo602(0x12345678);
foo603(0x12345678);
foo604(0x12345678);
foo605(0x12345678);
foo606(0x12345678);
foo607(0x12345678);
foo608(0x12345678);
foo609(0x12345678);
foo610(0x12345678);
foo611(0x12345678);
foo612(0x12345678);
foo613(0x12345678);
foo614(0x12345678);
foo615(0x12345678);
foo616(0x12345678);
foo617(0x12345678);
foo618(0x12345678);
foo619(0x12345678);
foo620(0x12345678);
foo621(0x12345678);
foo622(0x12345678);
foo623(0x12345678);
foo624(0x12345678);
foo625(0x12345678);
foo626(0x12345678);
foo627(0x12345678);
foo628(0x12345678);
foo629(0x12345678);
foo630(0x12345678);
foo631(0x12345678);
foo632(0x12345678);
foo633(0x12345678);
foo634(0x12345678);
foo635(0x12345678);
foo636(0x12345678);
foo637(0x12345678);
foo638(0x12345678);
foo639(0x12345678);
foo640(0x12345678);
foo641(0x12345678);
foo642(0x12345678);
foo643(0x12345678);
foo644(0x12345678);
foo645(0x12345678);
foo646(0x12345678);
foo647(0x12345678);
foo648(0x12345678);
foo649(0x12345678);
foo650(0x12345678);
foo651(0x12345678);
foo652(0x12345678);
foo653(0x12345678);
foo654(0x12345678);
foo655(0x12345678);
foo656(0x12345678);
foo657(0x12345678);
foo658(0x12345678);
foo659(0x12345678);
foo660(0x12345678);
foo661(0x12345678);
foo662(0x12345678);
foo663(0x12345678);
foo664(0x12345678);
foo665(0x12345678);
foo666(0x12345678);
foo667(0x12345678);
foo668(0x12345678);
foo669(0x12345678);
foo670(0x12345678);
foo671(0x12345678);
foo672(0x12345678);
foo673(0x12345678);
foo674(0x12345678);
foo675(0x12345678);
foo676(0x12345678);
foo677(0x12345678);
foo678(0x12345678);
foo679(0x12345678);
foo680(0x12345678);
foo681(0x12345678);
foo682(0x12345678);
foo683(0x12345678);
foo684(0x12345678);
foo685(0x12345678);
foo686(0x12345678);
foo687(0x12345678);
foo688(0x12345678);
foo689(0x12345678);
foo690(0x12345678);
foo691(0x12345678);
foo692(0x12345678);
foo693(0x12345678);
foo694(0x12345678);
foo695(0x12345678);
foo696(0x12345678);
foo697(0x12345678);
foo698(0x12345678);
foo699(0x12345678);
foo700(0x12345678);
foo701(0x12345678);
foo702(0x12345678);
foo703(0x12345678);
foo704(0x12345678);
foo705(0x12345678);
foo706(0x12345678);
foo707(0x12345678);
foo708(0x12345678);
foo709(0x12345678);
foo710(0x12345678);
foo711(0x12345678);
foo712(0x12345678);
foo713(0x12345678);
foo714(0x12345678);
foo715(0x12345678);
foo716(0x12345678);
foo717(0x12345678);
foo718(0x12345678);
foo719(0x12345678);
foo720(0x12345678);
foo721(0x12345678);
foo722(0x12345678);
foo723(0x12345678);
foo724(0x12345678);
foo725(0x12345678);
foo726(0x12345678);
foo727(0x12345678);
foo728(0x12345678);
foo729(0x12345678);
foo730(0x12345678);
foo731(0x12345678);
foo732(0x12345678);
foo733(0x12345678);
foo734(0x12345678);
foo735(0x12345678);
foo736(0x12345678);
foo737(0x12345678);
foo738(0x12345678);
foo739(0x12345678);
foo740(0x12345678);
foo741(0x12345678);
foo742(0x12345678);
foo743(0x12345678);
foo744(0x12345678);
foo745(0x12345678);
foo746(0x12345678);
foo747(0x12345678);
foo748(0x12345678);
foo749(0x12345678);
foo750(0x12345678);
foo751(0x12345678);
foo752(0x12345678);
foo753(0x12345678);
foo754(0x12345678);
foo755(0x12345678);
foo756(0x12345678);
foo757(0x12345678);
foo758(0x12345678);
foo759(0x12345678);
foo760(0x12345678);
foo761(0x12345678);
foo762(0x12345678);
foo763(0x12345678);
foo764(0x12345678);
foo765(0x12345678);
foo766(0x12345678);
foo767(0x12345678);
foo768(0x12345678);
foo769(0x12345678);
foo770(0x12345678);
foo771(0x12345678);
foo772(0x12345678);
foo773(0x12345678);
foo774(0x12345678);
foo775(0x12345678);
foo776(0x12345678);
foo777(0x12345678);
foo778(0x12345678);
foo779(0x12345678);
foo780(0x12345678);
foo781(0x12345678);
foo782(0x12345678);
foo783(0x12345678);
foo784(0x12345678);
foo785(0x12345678);
foo786(0x12345678);
foo787(0x12345678);
foo788(0x12345678);
foo789(0x12345678);
foo790(0x12345678);
foo791(0x12345678);
foo792(0x12345678);
foo793(0x12345678);
foo794(0x12345678);
foo795(0x12345678);
foo796(0x12345678);
foo797(0x12345678);
foo798(0x12345678);
foo799(0x12345678);
foo800(0x12345678);
foo801(0x12345678);
foo802(0x12345678);
foo803(0x12345678);
foo804(0x12345678);
foo805(0x12345678);
foo806(0x12345678);
foo807(0x12345678);
foo808(0x12345678);
foo809(0x12345678);
foo810(0x12345678);
foo811(0x12345678);
foo812(0x12345678);
foo813(0x12345678);
foo814(0x12345678);
foo815(0x12345678);
foo816(0x12345678);
foo817(0x12345678);
return NULL;
}
int main()
{
pthread_t otherThread;
pthread_create(&otherThread, NULL, &callAll, NULL);
callAll(NULL);
PASS("jump-table-race");
return EXIT_SUCCESS;
}