How to Write Software That Has Fully Defined Behavior

C++ has unbounded undefined behavior, where you kind of can't really in principle prove that a program behaves correctly. So how do you square the circle here? Yeah, like in an ideal world, and this is actually what the standards also say. That's a thing that they are pretty insistent on.