html#ga818de170e2584ab037130f2881925974">   41</a></span>&#160;        <span class="keyword">typedef</span> <a class="code" href="a00171.html#gaf3f312156984c365e9f65620354da70b">u64</a>                     <a class="code" href="a00213.html#ga818de170e2584ab037130f2881925974">u64vec1</a>;    </div>
<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;        <span class="comment">// Float vector type