// expected output
#expect 9

// ships required in order to run this code
#ship debug        : Debug
#ship fifo         : Fifo

debug.in:   [*] take, deliver;
9:            sendto fifo.in;
fifo.in:
  take;
  [100] deliver;
fifo.out:
  (99) take, sendto fifo.in;
  (1)  take, sendto debug.in;