Add ip4_addrs to socket_util