Make C Safe Again. UBs in C language are the asleep plague just asking to get triggered into a głos bal disaster. Oops, too late. There is another class of th

Make C Safe Again. UBs in C language are the asleep plague just asking to get triggered into a głos bal disaster. Oops, too late. There is another class of those there, described in some papers for CSmith. Milder but still quite bad. Both got quietly not acted upon, when C++ got made. Lets go back to Pascal/Modula/Oberon.