\newlabel{sec-cabs2cil}{{5}{X}}
\newlabel{sec-cil}{{6}{X}}
\newlabel{sec-api}{{7}{X}}
\newlabel{sec-visitor}{{7.1}{X}}
\newlabel{sec-attrib}{{7.4}{X}}
\newlabel{sec-driver}{{8}{X}}
\newlabel{sec-Extension}{{9}{X}}
\newlabel{sec-merger}{{14}{X}}
\newlabel{sec-patcher}{{15}{X}}
\newlabel{sec-debugger}{{16}{X}}
\newlabel{sec-simplec}{{17}{X}}
\newlabel{sec-ugly-gcc}{{17.2}{X}}
\newlabel{sec-changes}{{21}{X}}
