Symbol: lac_atomic_cmp_swap