>                    Offset3D offset_begin{begin[2], begin[1], begin[0]};</div>
<div class="line"><a id="l00536" name="l00536"></a><span class="lineno">  536</span>                    Offset3D offset_end{end[2], end[1], end[0]};</div>
<div class="line"><a id="l00537" name="l00537"></a><span class="lineno">  537</span>                    Extent3D extent = as_extent(offset_end - offset_begin);</div>
<div class="line"><a id="l00538" name="l00538"></a><span class="lineno">  538</span> </div>
<div class="line"><