"C++ should clearly have picked Unspecified Behaviour rather than Undefined Behaviour but too late now"

It's never too late to replace Undefined Behaviour with Unspecified Behaviour.