span><a 
href="userhtmlse3.html#userhtmlsu2.html" ><span 
class="cmr-12">up</span></a><span 
class="cmr-12">] </span></p></div>
   <h4 class="subsectionHead"><span class="titlemark"><span 
class="cmr-12">3.2   </span></span> <a 
 id="x10-90003.2"></a><span 
class="cmr-12">Optional third party libraries</span></h4>
<!--l. 98--><p class="noindent" ><span 
class="cmr-12">We provide interfaces to the following third-party software libraries; note that these are</span>
<span 
class="cmr-12">optional, but if you 