#expect 5
#expect 5
#expect 4

#ship debug : Debug
#ship fifo  : Fifo

debug.in:
  [*] set olc=1;
  set word=65535;
  set olc=word;
  head;
  recv word;
  set olc--;
  [d] abort;
  [d] set ilc=*;
  [d] recv, deliver;
  tail;

fifo.out:
  [*] set olc=1;
  set word=65537;
  set olc=word;
  set word=5;
  head;
  send to debug.in;
  set olc--;
  [d] abort;
  [d] set word=4;
  [d] send to debug.in;
  tail;