~If I recall correctly~ The Ur&#x2F;Web compiler also targets C: <a href="http:&#x2F;&#x2F;impredicative.com&#x2F;ur&#x2F;manual.pdf#subsection.12.24" rel="nofollow">http:&#x2F;&#x2F;impredicative.com&#x2F;ur&#x2F;manual.pdf#subsection.12.24</a>