" colspan="2"><span class="bold"><strong>Semantic statement</strong></span></td>
  <td></td>
</tr>
<tr>
  <td></td>
  <td colspan="2"><code class="code">output = carry(input0,input1);</code></td>
</tr>
</tfoot>
</table>
</div></div>
<p>
This operation checks for unsigned addition overflow or carry
conditions. If the result of adding input0 and input1 as unsigned
integers overflows the size of the varnodes, output is
assigned <span class="emphasis"><em>true</em></span>. Both inputs must be the same size,
and