">82</span><span class="special">,</span>
    <span class="identifier">automatic</span><span class="special">,</span>
    <span class="identifier">loose_trap_policy</span>
<span class="special">&gt;</span><span class="special">;</span>

<span class="comment">// define variables used for input</span>
<span class="keyword">using</span> <span class="identifier">input_safe_t</span> <span class="special">=</span> <span class="identifier">safe_signed_range</span><span class="special">&lt;</span>
    <span class="