> <span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; ">Btw-- the manual makes a distinction between</span><div><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; ">> "abstractions" and "externs".</span><br>
<br></div><div>But it shouldn't, right? I mean, it's not real in practice, for abstractions can be externals...</div><div><br></div><div>porres</div>