assertEquals(20, cons_d.highSeqnoAt(ip2));
assertEquals(500, cons_d.highSeqnoAt(a1));
assertEquals(26, cons_d.highSeqnoAt(a2));
assertEquals(25, cons_d.highSeqnoAt(a3));
assertEquals(10, cons_d.highSeqnoSeenAt(ip1));
assertEquals(20, cons_d.highSeqnoSeenAt(ip2));
assertEquals(501, cons_d.highSeqnoSeenAt(a1));
assertEquals(26, cons_d.highSeqnoSeenAt(a2));
assertEquals(33, cons_d.highSeqnoSeenAt(a3));
}