#expect 5 #expect 7 #expect 5 #expect 7 #expect 5 #expect 7 #expect 9 #ship memory : Memory #ship debug : Debug #ship fifo : Fifo debug.in: set ilc=*; recv, deliver; fifo.out: set ilc=*; collect, send to debug.in; fifo.in: set olc=3; head; set word=5; deliver; send token to memory.inCBD; recv, deliver; set olc--; [d] abort; [d] send token to memory.out; tail; memory.out: set word=7; set ilc=3; send to fifo.in; recv token; set ilc=*; collect packet, send; memory.inCBD: recv nothing; recv nothing; recv nothing; set word={ fifo.in: [*] set olc=1; set word=9; deliver; }; deliver;