Constant sgx_libc::TCP_COOKIE_TRANSACTIONS

pub const TCP_COOKIE_TRANSACTIONS: i32 = 15;