inline void* interlocked_read_acquire(void* volatile* x);