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

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

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