td></td>
  <td>First varnode input.</td>
</tr>
<tr>
  <td align="right">input1</td>
  <td></td>
  <td>Varnode to subtract from first.</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>
  <td></td>
  <td colspan="2"><code class="code">output = sborrow(input0,input1);</code></td>
</tr>
</t