#expect 6
#expect 6
#expect 6
#expect 6
#expect 10
#expect 10
#expect 10
#expect 10
#expect 14
#expect 14
#expect 14
#expect 14
#expect 18
#expect 18
#expect 18
#expect 18
#expect 22
#expect 22
#expect 22
#expect 22
#expect 26
#expect 26
#expect 26
#expect 26
#expect 30
#expect 30
#expect 30
#expect 30
#expect 34
#expect 34
#expect 34
#expect 34
#expect 38
#expect 38
#expect 38
#expect 38
#expect 42
#expect 42
#expect 42
#expect 42
#expect 46

#ship alu   : Alu2
#ship debug : Debug

alu.inOp:  literal Alu2.inOp[ADD];
           [*] deliver;

debug.in:  [*] take, deliver, notify alu.out;

alu.in2:   literal 4;
           [*] deliver;

alu.out:   load loop counter with 40;
           [L] take, sendto alu.in1;
           [L] sendto debug.in;
           [L] wait;
           tail;

alu.in1:   literal 2;
           load repeat counter with 4;
           deliver;
           load loop counter with 2;
           [L] take, deliver;
           [L] discard, deliver;
           tail;