shared(int) obj = 3;
assert(atomic_exchange_impl(&obj, 2) == 3);