     // them.</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 149:       SigInt: begin</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 150:         state_d  = Idle;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 151:         if (sigint_detected) begin</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 152:           state_d  = SigInt;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 153:           alert_pd = ~al