Symbol: kcsan_strlen