        <a class="code" href="a00732.html#gaecdef18c819c205aeee9f94dc93de56a">int4</a>;           </div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="a00732.html#ga056ffe02d3a45af626f8e62221881c7a">   87</a></span>&#160;    <span class="keyword">typedef</span> <span class="keywordtype">int</span>                         <a class="code" href="a00732.html#ga056ffe02d3a45af626f8e62221881c7a">