l argument has a (tranparent) union type, but the
argument is called as if it were the first element of the union. This is
compiled away by saying that the type of the formal argument is that of the
first field, and the first thing in the function body we copy the formal into
a union. </li><li class="li-enumerate">Inline assembly-language. The full syntax is supported and it is carried
as such in CIL.</li><li class="li-enumerate">Function names as strings. The identifiers <span style="font-family:monospace"