One good argument I can think of would be compile time. C compiles slowly compared to almost every other language not C++. And of course you get the C compile t

One good argument I can think of would be compile time. C compiles slowly compared to almost every other language not C++. And of course you get the C compile time on top of the compile to C time, so I expect the Nimrod compile chain to be quite slow. Doesn't mean that I am generally opposed to compiling to C, it's often a good trade-off.