>&#160;                        col_type const &amp; v1,</div>
<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;                        col_type const &amp; v2,</div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;                        col_type const &amp; v3);</div>
<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;</div>
<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;                <spa