//System.out.println("\ncons_d after: " + cons_d);
assertEquals(1, cons_d.lowSeqnoAt(ip1));
assertEquals(2, cons_d.lowSeqnoAt(ip2));
assertEquals(4, cons_d.lowSeqnoAt(a1));
assertEquals(25, cons_d.lowSeqnoAt(a2));
assertEquals(20, cons_d.lowSeqnoAt(a3));
assertEquals(10, cons_d.highestDeliveredSeqnoAt(ip1));
assertEquals(20, cons_d.highestDeliveredSeqnoAt(ip2));
assertEquals(500, cons_d.highestDeliveredSeqnoAt(a1));
assertEquals(26, cons_d.highestDeliveredSeqnoAt(a2));