n="right">output</td>
  <td></td>
  <td>Varnode containing remainder of signed division.</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 = input0 s% input1;</code></td>
</tr>
</tfoot>
</table>
</div></div>
<p>
This is a signed integer remainder operation. The remainder of
performing the signed integer division of input0 and input1 is put in
outpu