Symbol: kcsan_atomic_next