nak.down(new Event(Event.VIEW_CHANGE, view));
MutableDigest digest=new MutableDigest(view.getMembersRaw());
digest.set(local_addr,0,0);
digest.set(sender,0,0);
nak.down(new Event(Event.SET_DIGEST, digest));
final CountDownLatch latch=new CountDownLatch(1);
Sender[] adders=new Sender[num_threads];
for(int i=0; i < adders.length; i++) {
adders[i]=new Sender(nak, latch, counter, seqno, oob, sender);