I really like your second point. That's kind of a difficult failure case to try and mitigate. I've been vaguely concerned with how to ensure my C code avoids

I really like your second point. That's kind of a difficult failure case to try and mitigate. I've been vaguely concerned with how to ensure my C code avoids undefined behavior, but it didn't occur to me that I also need to watch out in being overly conservative because then I'll be causing the optimizers trouble. I'm not trying to disparage anyone who is actually able to be productive in a C environment, but I'm really hoping something like Rust is able take over that development space.