> And what I'm saying is, maybe we can create an environment where we don't end up in undefined states

That environment is not going to be programmable in C, unless you want a huge performance hit.