n>, <span class="va">known</span><span class="op">)</span></span>
<span></span>
<span><span class="fu">taildown_initial</span><span class="op">(</span><span class="va">taildown_type</span>, <span class="va">de</span>, <span class="va">range</span>, <span class="va">known</span><span class="op">)</span></span>
<span></span>
<span><span class="fu">euclid_initial</span><span class="op">(</span><span class="va">euclid_type</span>, <span class="va">de</span>, <span class="va">range</span>, <span class="va">rotat