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