yle="margin:0; padding:0 "> 205:     // handshakes can take indefinite time if blocked due to sigint on outgoing</pre>
<pre style="margin:0; padding:0 "> 206:     // lines (which is not visible here). thus, we only check whether the</pre>
<pre style="margin:0; padding:0 "> 207:     // handshake is correctly initiated and defer the full handshake checking to the testbench.</pre>
<pre style="margin:0; padding:0 "> 208:     // TODO: add the staggered cases as well</pre>
<pre style="margin:0; padding:0 "> 209: 