</div>
<div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;</div>
<div class="line"><a name="l00493"></a><span class="lineno"><a class="line" href="a00157.html#ga9503f809789bda7e8852a6abde3ae5c1">  493</a></span>&#160;        <span class="keyword">typedef</span> highp_dvec4                     <a class="code" href="a00157.html#ga9503f809789bda7e8852a6abde3ae5c1">dvec4</a>;</div>
<div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;<span class="preprocessor"