Hmm. Didn't Turbo Pascal have array bounds checking 3 billion years ago when we all had pet dinosaurs? It could have simply been added to the compiler in C as well...
Truly bizarre that we ended up with C, still feature incomplete compared to what was available at the time.
ESPOL/NEWP from 1961, almost a decade before C came to be, even had unsafe code blocks!
And if people look deeper, there are some surprising elements of Pascal in newer languages, more than many realize. At some point, sanity and common sense will sneak through.