one benefit is that a lot of tooling e.g. for verification etc. is built around C.

another is that it only has C runtime requirement, so no weird runtime stuff to impelement if youd say want to run on bare metal..you could output the C code and compile it to your target.