a name="l00081"></a><span class="lineno">   81</span>&#160;</div>
<div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="a00187.html#ga0670a2111b5e4a6410bd027fa0232fc3">   82</a></span>&#160;        <span class="keyword">typedef</span> <span class="keywordtype">int</span>                                                     <a class="code" href="a00187.html#ga0670a2111b5e4a6410bd027fa0232fc3">int1</a>;                   </div>
<div class="line"><a name="l00083"></a><span class="lin