 78:     .sigint_o ( ack_sigint  )</pre>
<pre style="margin:0; padding:0 ">  79:   );</pre>
<pre style="margin:0; padding:0 ">  80: </pre>
<pre style="margin:0; padding:0 ">  81: </pre>
<pre style="margin:0; padding:0 ">  82:   ///////////////////////////////////////////////////</pre>
<pre style="margin:0; padding:0 ">  83:   // main protocol FSM that drives the diff output //</pre>
<pre style="margin:0; padding:0 ">  84:   ///////////////////////////////////////////////////</pre>
<pre style="background-col