arp_ well-sorted