#include "contrib/demo.ships"

0:          sendto alu2.a;
1:          sendto alu2.b;
2:          sendto alu2.b;
3:          sendto alu2.b;

0:          sendto alu2.op;
alu2.op:
  take;
  [*] deliver;

alu2.out:
  [*r] take, sendto debug.data;
  [*r]       sendto alu2.a;

alu2.a:     [*] take, deliver;
alu2.b:     [*] take, deliver;

debug.data: [*] take, deliver;