--- /dev/null
+// expected output
+#expect 1
+#expect 0
+
+#ship debug : Debug
+#ship fifo : Fifo
+
+debug.in:
+ recv;
+ setflags a=c, b=b;
+ [a] literal 1;
+ [!a] literal 0;
+ wait, deliver;
+ setflags a=c, b=b;
+ [a] literal 1;
+ [!a] literal 0;
+ deliver;
+
+fifo.out:
+ notify debug.in:1;
+ notify debug.in:0;
+