--- /dev/null
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+
+#ship debug0 : Debug
+#ship fifo0 : Fifo
+#ship fifo1 : Fifo
+#ship alu20 : Alu2
+#ship alu21 : Alu2
+
+
+fifo0.out: load loop counter with 1;
+fifo0.out: [L] collect;
+
+debug0.in: load repeat counter with *;
+debug0.in: recv, deliver, notify alu21.out;
+
+fifo0.in: literal 12;
+fifo0.in: load repeat counter with *;
+fifo0.in: deliver;
+
+alu21.inOp: literal 2;
+alu21.inOp: load repeat counter with 6;
+alu21.inOp: deliver;
+
+alu21.in1: load repeat counter with *;
+alu21.in1: recv, deliver, notify fifo0.out;
+
+fifo0.out: [L] sendto alu21.in1;
+fifo0.out: [L] wait;
+
+alu21.in2: literal 2;
+alu21.in2: load repeat counter with *;
+alu21.in2: deliver;
+
+fifo0.out: [+] tail;
+
+alu21.out: notify alu21.out;
+alu21.out: load loop counter with 1;
+alu21.out: [L] collect;
+//alu21.out: [L] setflags a=a, b=b; // uncommenting this line will mask the bug
+alu21.out: [L] sendto debug0.in;
+alu21.out: [L] wait;
+alu21.out: [+] tail;