Symbol: __no_kcsan