atomic_read

Returns the value at pointer.

x := 7;
assert(atomic_read(*x) == 7);

atomic_read :: atomic_load