--- /dev/null
+#expect 5
+#expect 5
+#expect 3
+
+#ship debug : Debug
+#ship memory : Memory
+#ship fifo : Fifo
+
+debug.in:
+ [*] set olc=1;
+ set word=5;
+ head;
+ send token to fifo.out;
+ [T] recv token;
+ deliver;
+ [d] abort;
+ [d] send token to memory.inCBD;
+ tail;
+
+fifo.out:
+ [*] set olc=3;
+ head;
+ recv token;
+ set olc--;
+ send token to debug.in;
+ [d] abort;
+ [d] send token to debug.in:i;
+ tail;
+
+memory.out:
+ set ilc=*;
+ collect packet, send;
+
+memory.inCBD:
+ set word={
+ debug.in:
+ [*] set olc=1;
+ set word=3;
+ deliver;
+ };
+ recv token;
+ deliver;