Symbol: kcsan_strcmp