084"></a><span class="lineno"><a class="line" href="a00732.html#ga909c38a425f215a50c847145d7da09f0">   84</a></span>&#160;    <span class="keyword">typedef</span> vec&lt;3, int, highp&gt;          <a class="code" href="a00732.html#ga909c38a425f215a50c847145d7da09f0">int3</a>;           </div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="a00732.html#gaecdef18c819c205aeee9f94dc93de56a">   85</a></span>&#160;    <span class="keyword">typedef</span> vec&lt;4, int, highp&gt;  