Yes. The nominal reality is that effectively all extant C code has undefined behavior, but the practical reality is that most of that code will work portably as

Yes. The nominal reality is that effectively all extant C code has undefined behavior, but the practical reality is that most of that code will work portably as long as some reasonable precautions are taken.