Constant sgx_libc::TCP_THIN_DUPACK

pub const TCP_THIN_DUPACK: i32 = 17;