public void setHighSeqnoSeenAt(Address sender, long high_seqno_seen) { int index=getIndex(sender); if(index < 0) return;
public void setHighSeqnoSeenAt(int index, long high_seqno_seen) { if(index < size()) { high_seqnos_seen[index]=high_seqno_seen; }
    public void setHighSeqnoSeenAt(Address sender, long high_seqno_seen) {        int index=getIndex(sender);        if(index < 0)            return;        else            setHighSeqnoSeenAt(index, high_seqno_seen);    }