<td align="right">input0</td>
  <td></td>
  <td>Varnode containing offset of next instruction.</td>
</tr>
<tr>
  <td align="right">[input1]</td>
  <td></td>
  <td>First parameter to call (never present in raw p-code)</td>
</tr>
<tr>
  <td align="right">...</td>
  <td></td>
  <td>Additional parameters to call (never present in raw p-code)</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>
  <t