Many research compilers (e.g., for SR [AO93], Cedar [SZBH86], Lynx [Sco91], and Modula-3 [Har92]) use $\mathrm{C}$ as their IF. $\mathrm{C}$ is well-documented and mostly machine-independent, and $\mathrm{C}$ compilers are much more widely available than alternative back ends. What are the disadvantages of generating $\mathrm{C}$, and how might they be overcome?