on),
         so the pointer to the temporary storage must <span 
class="ptmri7t-">not </span>be used after this.
         </li></ul>
     </dl>
<p class="noindent">
     <dl> <dt class="haddockdesc">
<!--tex4ht:inline--><div class="tabular"> <table id="TBL-434" class="tabular" 
cellspacing="0" cellpadding="0" rules="groups" 
><colgroup id="TBL-434-1g"><col 
id="TBL-434-1" /></colgroup><tr  
 style="vertical-align:baseline;" id="TBL-434-1-"><td  style="white-space:nowrap; text-align:left;" id="TBL-434-1-1" 