ass="lineno">  244</span>&#160;</div>
<div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="a00150.html#gab8a03109aebc121ef69abec50fcdd459">  250</a></span>&#160;        <span class="keyword">typedef</span> vec&lt;3, double, highp&gt;   <a class="code" href="a00150.html#gab8a03109aebc121ef69abec50fcdd459">highp_dvec3</a>;</div>
<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;</div>
<div class="line"><a name="l00257"></a><span class="lineno"><a class=