Constant sgx_libc::TCP_USER_TIMEOUT

pub const TCP_USER_TIMEOUT: c_int = 18;