ld"><strong>Description</strong></span></td>
</tr></thead>
<tbody>
<tr>
  <td align="right">input0</td>
  <td></td>
  <td>First varnode to add.</td>
</tr>
<tr>
  <td align="right">input1</td>
  <td></td>
  <td>Second varnode to add.</td>
</tr>
<tr>
  <td align="right">output</td>
  <td></td>
  <td>Boolean result containing signed overflow condition.</td>
</tr>
</tbody>
<tfoot>
<tr>
  <td align="center" colspan="2"><span class="bold"><strong>Semantic statement</strong></span></td>
  <td></td>
</tr>
<tr>
  <t