;                       <a class="code" href="a00187.html#gaaa6ceedf08a85e5fd73a482bc8b77b88">int3</a>;                   </div>
<div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="a00187.html#gab19c2df22e9b14081390fabd074081f1">   85</a></span>&#160;        <span class="keyword">typedef</span> tvec4&lt;int, highp&gt;                       <a class="code" href="a00187.html#gab19c2df22e9b14081390fabd074081f1">int4</a>;                   </div>
<div class="line"><a name="l00086">