SoftwareNov 13C++26 fails its ISO ballot over Contracts, whose safety checks can be switched off per build