Symbol: kcsan_init