--- /dev/null
+#expect 20
+#expect 40
+#ship debug : Debug
+#ship fifo : Fifo
+
+debug.in:
+ [L] nop;
+ notify fifo.out;
+ [I] [*] wait;
+ [+] literal 20;
+ [+] deliver;
+ deliver;
+ tail;
+ [+] literal 40;
+ [+] deliver;
+
+fifo.out:
+ wait;
+ notify debug.in:i;
+