shared(int) val = 5;
atomic_fetch_xor_impl(&val, 3);
assert(atomic_load_impl(&val) == 6);