Constant sgx_libc::TCP_QUEUE_SEQ

pub const TCP_QUEUE_SEQ: i32 = 21;