+void udp_destroy_socket(struct udpcommon *uc, struct udpsock *us);
+ /* Idempotent. No errors are possible. */
+
+const char *af_name(int af);
+void udp_sock_experienced(struct log_if *lg, struct udpcommon *uc,
+ const char *socksdesc, struct udpsock *us,
+ bool_t recvsend, int af /* 0 means any */,
+ int r, int errnoval);
+