C0C0C0; margin:0; padding:0 ">  72:     .fall_o   (             ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  73:     .event_o  (             ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  74:     .sigint_o ( ack_sigint  )</pre>
<pre style="margin:0; padding:0 ">  75:   );</pre>
<pre style="margin:0; padding:0 ">  76: </pre>
<pre style="margin:0; padding:0 ">  77: </pre>
<pre style="margin:0; padding:0 ">  78:   /////////////////////////////////////////////