#expect 5
#expect 7
#expect 5
#expect 7
#expect 5
#expect 7
#expect 9

#ship memory       : Memory
#ship debug        : Debug
#ship fifo         : Fifo

debug.in:
   set ilc=*;
   recv, deliver;

fifo.out:
   set ilc=*;
   collect, send to debug.in;

fifo.in:
  set olc=3;
  head;
  [Rq] set word=5;
  [Rq] deliver;
  [Rq] send token to memory.inCBD;
  [Rq] recv, deliver;
  [Rq] set olc--;
  [d] abort;
  [d] send token to memory.out;
  tail;

memory.out:
  set word=7;
  set ilc=3;
  send to fifo.in;

  recv token;
  set ilc=*;
  collect packet, send;

memory.inCBD:
  recv nothing;
  recv nothing;
  recv nothing;
  set word={
    fifo.in:
       [*] set olc=1;
       set word=9;
       deliver;
  };
  deliver;