Constant sgx_libc::IPPROTO_UDPLITE

pub const IPPROTO_UDPLITE: i32 = 136;