"line" href="a00150.html#gabcad2ee624723d7add5ce5bf90b6bd2a">  257</a></span>&#160;        <span class="keyword">typedef</span> vec&lt;3, double, mediump&gt; <a class="code" href="a00150.html#gabcad2ee624723d7add5ce5bf90b6bd2a">mediump_dvec3</a>;</div>
<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;</div>
<div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="a00150.html#ga2b6374e88079410f8b641e21bf6b77a3">  264</a></span>&#160;        <span class="k