pub const SOCKETS_DESTROYED_SOCKETS_DESTROYED_PER_DEVICE_MAX_INT_BUCKETS_NUM_BUCKETS: u32 = 8;