// expected output #expect 1 #expect 0 #ship debug : Debug #ship fifo : Fifo debug.in: recv; setflags a=c, b=b; [a] literal 1; [!a] literal 0; wait, deliver; setflags a=c, b=b; [a] literal 1; [!a] literal 0; deliver; fifo.out: notify debug.in:1; notify debug.in:0;