Modernizing C arrays for greater memory safety: a case study in the Linux kernel | Heykuki News