Make sure to do the right pointer arithemtic in concurrent queue implementation.
The pointer to the array should be a char*, which is dereferenced at cache line
boundaries, and finally cast to a uint64_t to get back pointers.