l (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>
  <td colspan="2"><code class="code">call [input0];</code></td>
</tr>
</tfoot>
</table>
</div></div>
<p>
This instruction is semantically equivalent to
the <span class="bold"><strong>BRANCH</strong></span> instruction.
<span class="bold"><strong>Beware:</strong></span> This instruction does not
behave like a ty