#expect 25

#ship alu3 : Alu3
#ship alu2 : Alu2
#ship debug : Debug

12: sendto alu3.in1;
4:  sendto alu3.in2;
9:  sendto alu3.in3;


alu3.in1:  [*] take, deliver;
alu3.in2:  [*] take, deliver;
alu3.in3:  [*] take, deliver;

alu2.in1: [*] take, deliver;
alu2.in2: [*] take, deliver;
alu2.inOp: [*] take, deliver;

alu3.out1: take, sendto alu2.in1;
alu3.out2: take, sendto alu2.in2;
Alu2.ADD:  sendto alu2.inOp;

alu2.out: take, sendto debug.in;

debug.in: [*] take, deliver;