4 #include "williams-queue.h"
6 lock_free_queue<int> *queue;
8 void threadA(void *arg)
12 #define user_main main
14 int user_main(int argc, char **argv)
18 thrd_create(&A, &threadA, NULL);
20 queue = new lock_free_queue<int>();
21 std::thread t(threadA, (void *)NULL);