#skip
#expect 20
#expect 40
#ship debug : Debug
#ship fifo  : Fifo

debug.in:
  [Rq] nop;
  send token to fifo.out;
  set ilc=*;
  [T] recv token;
  [*] set word= 20;
  [*] deliver;
  deliver;
  tail;
  [*] set word= 40;
  [*] deliver;

fifo.out:
  recv token;
  send token to debug.in:i;