highest_received=win.getHighestReceived(); return new Digest.Entry(low, highest_delivered, highest_received);
my_highest_rcvd=recv_win.getHighestReceived(); stability_highest_rcvd=high_seqno_received;
highest_received=win.getHighestReceived(); return new Digest.Entry(low, highest_delivered, highest_received);
my_highest_rcvd=recv_win.getHighestReceived(); stability_highest_rcvd=high_seqno_received;