+++ /dev/null
-#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
-#ship f : Fifo
-
-f.in: literal 2; deliver; literal 4; deliver;
-f.out: take, sendto alu.in1;
- take, sendto alu.in2;
-
-alu.in1: [*] nop;
- (*) take, deliver;
- (*) deliver;
- (*) dismiss;
- (4) deliver;
- kill*;
-alu.in2: take;
- [*] deliver;
-alu.inOp: literal Alu2.inOp[ADD];
- [*] deliver;
-alu.out: [*] nop;
- (40) take, sendto alu.in1;
- (50) sendto debug.in;
- kill*;
-debug.in: [*] take, deliver;
-