      (alert_rx_i.ping_p ^ alert_rx_i.ping_n) |-></pre>
<pre style="margin:0; padding:0 "> 207:         ##3 alert_tx_o.alert_p ^ alert_tx_o.alert_n)</pre>
<pre style="margin:0; padding:0 "> 208: </pre>
<pre style="margin:0; padding:0 "> 209:     // handshakes can take indefinite time if blocked due to sigint on outgoing</pre>
<pre style="margin:0; padding:0 "> 210:     // lines (which is not visible here). thus, we only check whether the</pre>
<pre style="margin:0; padding:0 "> 211:     // handshake is corr