--- /dev/null
+// expected output
+#expect 10
+#expect 8
+#expect 9
+#expect -9
+#expect 9
+
+#ship debug : Debug
+#ship alu1 : Alu1
+
+debug.in: [*] take, deliver;
+9: sendto alu1.in;
+9: sendto alu1.in;
+9: sendto alu1.in;
+9: sendto alu1.in;
+
+1: sendto alu1.inOp;
+2: sendto alu1.inOp;
+3: sendto alu1.inOp;
+0: sendto alu1.inOp;
+0: sendto alu1.inOp;
+
+alu1.in: [*] take, deliver;
+alu1.inOp: [*] take, deliver;
+alu1.out:
+ [3] take, sendto debug.in;
+ take;
+ sendto debug.in;
+ sendto alu1.in;
+ [*] take, sendto debug.in;