Done that on several occasions. There are plenty of projects (and many languages) that compile to C and hand that on to the systems compiler. As an output forma

Done that on several occasions. There are plenty of projects (and many languages) that compile to C and hand that on to the systems compiler. As an output format, C actually works very well. It hides the fiddly things like register allocation - things that are already done well by gcc and the like.