Every argument about undefined behavior in a nutshell
Ada is probably the fastest safest language on the planet. The ranged type system actually means that bounds checks can be elided in more cases than other languages. It can also ensure that a program never crashes better than any other and it isn't a difficult language to use.