f="position_8h.html#a1eab8d2d8fdb9144b6cb091a7748686e">rotate45</a>(dir, 2);</div>
<div class="line"><a id="l00140" name="l00140"></a><span class="lineno">  140</span>}</div>
</div>
<div class="line"><a id="l00141" name="l00141"></a><span class="lineno">  141</span> </div>
<div class="foldopen" id="foldopen00147" data-start="{" data-end="}">
<div class="line"><a id="l00147" name="l00147"></a><span class="lineno"><a class="line" href="position_8h.html#a2c22517f2cd48f34fe8829b07d396d34">  147</a></span><span 