Comment by storoj

There should be a well-defined list of undefined behaviors.