void ctl_arp_print_cache(CTL_STREAM_t s);
ctl_arp_print_cache displays the contents of the ARP cache to the stream s.