Symbol: kcsan_kcopy