+#expect 6
+#expect 6
+#expect 6
+#expect 10
+#expect 10
+#expect 10
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 18
+#expect 18
+#expect 18
+#expect 18
+#expect 18
+#expect 18
+#expect 22
+#expect 22
+#expect 22
+#expect 22
+#expect 22
+#expect 22
+#expect 26
+#expect 26
+#expect 26
+#expect 26
+#expect 26
+#expect 26
+#expect 30
+#expect 30
+#expect 30
+#expect 30
+#expect 30
+#expect 30
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+
+#ship alu : Alu2
+#ship debug : Debug
+
+2: sendto alu.in1;
+4: sendto alu.in2;
+Alu2.ADD: sendto alu.inOp;
+alu.in1: [*] nop;
+ (*) take, deliver;
+ (*) deliver;
+ (*) dismiss;
+ (4) deliver;
+ kill;
+alu.in2: take;
+ [*] deliver;
+alu.inOp: take;
+ (*) deliver;
+alu.out: [*] nop;
+ (40) take, sendto alu.in1;
+ (50) sendto debug.in;
+ kill;
+debug.in: [*] take, deliver;