+#expect 7
+#expect 7
+#expect 7
+#expect 7
+#expect 8
+
+#ship debug : Debug
+#ship memory : Memory
+#ship fifo : Fifo
+
+debug.in: [*] take, deliver, notify fifo.in;
+
+fifo.out:
+ notify fifo.in;
+ [4] take, sendto debug.in;
+ notify memory.inCBD;
+ [*] take, sendto debug.in;
+
+fifo.in:
+ clog;
+ take, requeue forever;
+ literal 7, requeue forever;
+ deliver, requeue forever;
+ unclog;
+
+memory.inCBD:
+ wait;
+ literal {
+ fifo.in:
+ kill 3;
+ literal 8;
+ deliver;
+ notify memory.inCBD;
+ fifo.in: literal 8; [*] wait, deliver;
+ memory.inCBD:
+ wait;
+ literal {
+ }; deliver;
+ }; deliver;
+
+
+