: #C0C0C0; margin:0; padding:0 "> 155:         if (sigint_detected) begin</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 156:           state_d  = SigInt;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 157:           alert_pd = ~alert_pq;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 158:           alert_nd = ~alert_pq;</pre>
<pre style="margin:0; padding:0 "> 159:         end</pre>
<pre style="margin:0; padding:0 "> 160:       end</pre>
<pre s