red to have <code class="computeroutput"><span class="identifier">UINT_MAX</span>
        <span class="special">&gt;</span> <span class="identifier">INT_MAX</span></code>
        (&#167;3.9/3), so:
      </p>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
            'int-&gt;unsigned' is subranged (negative values fall out of range) and
            <code class="computeroutput"><span class="identifier">supertype</span><span class="special">=</span><