public void sendRetx(Packet p) { p.nrOfArrivedFlits = 0; RetxPacket pkt = new RetxPacket(p.dest, p.src, p); queuePacket(pkt); }