(Seg,Inst) (0,0) (1,0) (2,0) (3,0)
(0,0)
T1::ack, 0
(1,0)
T1::ack, 0
(2,0)
T2::ack, 0
(3,0)
T2::ack, 0