Here's the earlier K framework[1]'s kcc[2] C rewrite semantics.

Though I'm reminded of a question after a talk around ~1990. Someone from Microsoft, having presented a C++ model, was asked (paraphrase): "So by this extraordinary effort, you have largely, but not fully, compensated for C++ having such a poorly designed <some form of semantics I no longer recall>?". There was a long pause, and then... "Yes."

[1] https://kframework.org/ [2] https://github.com/kframework/c-semantics/tree/master/semant...