Symbol: kcsan_strcpy