Concurrent queue in C (idea.popcount.org)