 diff pairs. this condition is</pre>
<pre style="margin:0; padding:0 "> 150:       // signalled by setting the output diffpair</pre>
<pre style="margin:0; padding:0 "> 151:       // to the same value and continuously toggling</pre>
<pre style="margin:0; padding:0 "> 152:       // them.</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 153:       SigInt: begin</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 154:         state_d  = Idle;</pre>
<pre style="background-color