⁵“Safe” is precisely defined for C by CompCert, and essentially means that the program doesn’t depend on any behavior that is still undefined after layering the several specifications which go into CompCert.