TempleOS doesn't support C. It's written in a language called HolyC.