"
</div>
     <p class="noindent"></div>
<p class="noindent">
<h3 class="sectionHead"><span class="titlemark">5.5    </span> <a 
 id="x11-1070005.5"></a>Name Clashes and Closure</h3>
<p class="noindent">
<h4 class="subsectionHead"><span class="titlemark">5.5.1    </span> <a 
 id="x11-1080005.5.1"></a>Qualified names</h4>
<a 
 id="dx11-108001"></a>
<p class="noindent"> A <span 
class="ptmri7t-">qualified name </span>is written as <span 
class="cmmi-10">modid</span><span 
class="pcrr7t-">.</span><span 
class=