#expect 5 #expect 9 #expect 5 #expect 9 #expect 5 #expect 9 #ship fifo : Fifo #ship debug : Debug fifo.in: literal 9; [6] deliver; debug.in: [*] take, deliver; fifo.out: clog; literal 5, requeue 3 times; sendto debug.in, requeue 3 times; take, requeue 3 times; sendto debug.in, requeue 3 times; unclog;