shared(int) obj = 3;
assert(atomic_load_impl(&obj) == 3);