#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;