#ship alu : Alu2
#ship debug : Debug
-alu.inOp: literal Alu2.inOp[ADD];
- [*] deliver;
+alu.inOp: set word= Alu2.inOp[ADD];
+ set ilc=*; deliver;
-debug.in: [*] take, deliver, notify alu.out;
+debug.in: set ilc=*; recv, deliver, send token to alu.out;
-alu.in2: literal 4;
- [*] deliver;
+alu.in2: set word= 4;
+ set ilc=*; deliver;
-alu.out: load loop counter with 40;
- [L] take, sendto alu.in1;
- [L] sendto debug.in;
- [L] wait;
+alu.out: set olc=40;
+ [Rq] collect, send to alu.in1;
+ [Rq] send to debug.in;
+ [Rq] recv token;
tail;
-alu.in1: literal 2;
- load repeat counter with 4;
+alu.in1: set word= 2;
+ set ilc=4;
deliver;
- load loop counter with 2;
- [L] take, deliver;
- [L] discard, deliver;
+ set olc=2;
+ [Rq] recv, deliver;
+ [Rq] recv nothing, deliver;
tail;