t. Both inputs and output must be the same size. If q = input0 s/
input1, using the <span class="bold"><strong>INT_SDIV</strong></span> operation
defined above, then output satisfies the equation q*input1 + output =
input0, using the <span class="bold"><strong>INT_MULT</strong></span>
and <span class="bold"><strong>INT_ADD</strong></span> operations.
</p>
</div>
<div class="sect2">
<div class="titlepage"><div><div><h3 class="title">
<a name="cpui_bool_negate"></a>BOOL_NEGATE</h3></div></div></div>
<div clas