7 void thread(unsigned thread_index)
9 for (int i = 0; i < 40; i++) {
10 if (0 == thread_index)
22 int user_main(int argc, char **argv)
26 q = new spsc_queue<int>();
28 thrd_create(&A, (thrd_start_t)&thread, (void *)0);
29 thrd_create(&B, (thrd_start_t)&thread, (void *)1);