Replacing undefined behavior at the program-level with undefined behavior written and tested as part of the standard library, usually vendored and distributed i

Replacing undefined behavior at the program-level with undefined behavior written and tested as part of the standard library, usually vendored and distributed in concert with the compiler, seems like an obvious net-positive to me.