Do we really need undefined behavior?