Symbol: kcsan_check_atomic_write