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

debug.in:
  [L] nop;
  notify fifo.out;
  [I] [*] wait;
  [+] literal 20;
  [+] deliver;
  deliver;
  tail;
  [+] literal 40;
  [+] deliver;

fifo.out:
  wait;
  notify debug.in:i;