void PseudoRandomUsingAtomic__threadmain(){ int myrand; myrand = PseudoRandomUsingAtomic_nextInt(10); assert(myrand <= 10); }
void* thr1(void* arg){ PseudoRandomUsingAtomic_nextInt(); return 0; }
void PseudoRandomUsingAtomic__threadmain(){ int myrand; myrand = PseudoRandomUsingAtomic_nextInt(10); assert(myrand <= 10); }
void* thr1(void* arg){ PseudoRandomUsingAtomic_nextInt(); return 0; }