</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  57:     .diff_ni  ( alert_rx_i.ping_n     ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  58:     .level_o  (             ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  59:     .rise_o   (             ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  60:     .fall_o   (             ),</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 ">  61:     .event_o