Use void* instead of atomic<void*> for the elements of the work-stealing queue