 padding:0 ">  55:     .rise_o   (             ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  56:     .fall_o   (             ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  57:     .event_o  ( ping_event  ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  58:     .sigint_o ( ping_sigint )</pre>
<pre style="margin:0; padding:0 ">  59:   );</pre>
<pre style="margin:0; padding:0 ">  60: </pre>
<pre style="background-color: #C0C0C0; margin:0