#expect 1
#expect 2

#ship debug  : Debug
#ship fifo   : Fifo
#ship fifo2  : Fifo

debug.in:  [*] take, deliver;
fifo.in:   [*] take, deliver;

1: sendto fifo.in;

2: sendto fifo2.in;
fifo2.in:  [*] take, deliver;
fifo2.out: wait, take, sendto fifo.in;

fifo.out:
  [*] nop;
  notify fifo2.out;
  take, sendto debug.in;
  take, sendto debug.in;
  kill*;
  kill*;