atomic_load
(void)atomic_load(
T v1 = atomic_load(a); \
assert(atomic_load(a) == (T)(result)); \
T v1 = atomic_load(a); \
assert(atomic_load(a) == v3); \
assert(atomic_load(a) == v1); \
assert(atomic_load(a) == v1); \
while (!atomic_load(&prod_done) || !buf_ring_empty(br)) {