I believe we used GNU Cim for the coursework, but it's some years since I took this class personally so I can't say for certain.
I believe CIM does the work of compiling C as well, but i may be misremebering.
Yes, CIM is generating C and uses the available C compiler behind the scenes.
The course admin might be on holiday but it's worth a try.
I can check tomorrow if I still have acess to the course resources