pub const __socket_type_SOCK_STREAM: __socket_type = 1;