check_n_were_seen_once
check_n_were_seen_once(socks, socks_len, socks_len - 1, counts,
check_n_were_seen_once(socks, socks_len, socks_len - 1, counts,
check_n_were_seen_once(listen_socks, listen_socks_len, listen_socks_len,
check_n_were_seen_once(established_socks, established_socks_len,
check_n_were_seen_once(socks, socks_len, 1, counts, counts_len);
check_n_were_seen_once(socks, socks_len, socks_len - 1, counts,
check_n_were_seen_once(listen_socks, listen_socks_len, listen_socks_len,
check_n_were_seen_once(established_socks, established_socks_len, 1,
check_n_were_seen_once(established_socks, established_socks_len,
check_n_were_seen_once(socks, socks_len, 1, counts, counts_len);
check_n_were_seen_once(listen_socks, listen_socks_len, listen_socks_len,
check_n_were_seen_once(established_socks, established_socks_len, 1,
check_n_were_seen_once(socks, socks_len, socks_len - 1, counts,
check_n_were_seen_once(socks, socks_len, socks_len, counts,
check_n_were_seen_once(listen_socks, listen_socks_len, listen_socks_len,
check_n_were_seen_once(established_socks, established_socks_len,
check_n_were_seen_once(listen_socks, listen_socks_len, listen_socks_len,
check_n_were_seen_once(established_socks, established_socks_len,
check_n_were_seen_once(socks, socks_len, socks_len, counts,
check_n_were_seen_once(listen_socks, listen_socks_len, listen_socks_len,
check_n_were_seen_once(established_socks, established_socks_len,