5 #include "stdatomic2.h"
10 static void a(void *obj)
16 store_32(&shareddata,(unsigned int)i);
21 store_32(&shareddata,(unsigned int)i);
27 int user_main(int argc, char **argv)
32 thrd_create(&t1, (thrd_start_t)&a, NULL);
33 thrd_create(&t2, (thrd_start_t)&a, NULL);