Your examples are garbage logic because array overruns are so harmful that they should be hard errors. Of course, this requires a runtime cost, that can be elid

Your examples are garbage logic because array overruns are so harmful that they should be hard errors. Of course, this requires a runtime cost, that can be elided in most cases by the compiler's optimizer. But even low level languages nowadays can be safe by default (see Rust) - the unsafe behavior should always be a conscious, well studied decision by the developer.