pub type ddsrt_socket_ext_t = ddsrt_socket_ext;
#[repr(C)]pub struct ddsrt_socket_ext_t { pub sock: i32, }
sock: i32