a class="line" href="a00149.html#ga150731e2a148eff8752114a0e450505e">  553</a></span>&#160;        <span class="keyword">typedef</span> highp_bvec3                     <a class="code" href="a00149.html#ga150731e2a148eff8752114a0e450505e">bvec3</a>;</div>
<div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;</div>
<div class="line"><a name="l00558"></a><span class="lineno"><a class="line" href="a00149.html#ga444e8f61bfb3a6f037d019ac6933f8c6">  558</a></span>&#160;        <span class=