static void b2(void *obj)
{
int r = atomic_load_explicit(&x, memory_order_acquire);
static void b2(void *obj)
{
int r = atomic_load_explicit(&x, memory_order_acquire);
store_32(&var, 2);
thrd_create(&t3, (thrd_start_t)&a, &i);
thrd_create(&t4, (thrd_start_t)&b2, NULL);
store_32(&var, 2);
thrd_create(&t3, (thrd_start_t)&a, &i);
thrd_create(&t4, (thrd_start_t)&b2, NULL);