It obviously would have to be a limited subset, like devicescript is also "just" a subset of typescript.

I think the limitations for devicescript would probably also work for outputting reasonable amounts of C.