8a1053a44a98902cd1c389472">double3</a>;        </div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="a00732.html#gaf92f58af24f35617518aeb3d4f63fda6">  117</a></span>&#160;    <span class="keyword">typedef</span> vec&lt;4, double, highp&gt;       <a class="code" href="a00732.html#gaf92f58af24f35617518aeb3d4f63fda6">double4</a>;        </div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;</div><div class="line"><a name="l00119"></a><span class="