// expected output
#ship debug : Debug
#ship alu   : Alu2

#expect 17
#expect 1
#expect 8
#expect 9

debug.in:   [*] take, deliver;
9:          sendto alu.in1;
9:          sendto alu.in1;
9:          sendto alu.in1;
9:          sendto alu.in1;
8:          sendto alu.in2;
8:          sendto alu.in2;
8:          sendto alu.in2;
8:          sendto alu.in2;

Alu2.ADD:   sendto alu.inOp;
Alu2.SUB:   sendto alu.inOp;
Alu2.MIN:   sendto alu.inOp;
Alu2.MAX:   sendto alu.inOp;

alu.in1:    [*] take, deliver;
alu.in2:    [*] take, deliver;
alu.inOp:   [*] take, deliver;
alu.out:    [*] take, sendto debug.in;