@jmw150 a large chunk of any software is undefined behavior, it's just what happens when you break an invariant. The reason c++ has a lot of it in it's spec is because it tries to convey the invariants of the underlying tech (be that the OS, the compiler or the hardware) in some generic fashion. Aside from some historical baggage, these things usually manifest themselves in one way or the other, even if you sweep them under the rug.
@namark exactly