Symbol: kcsan_release