Constant sgx_libc::DCCP_SOCKOPT_CCID

pub const DCCP_SOCKOPT_CCID: i32 = 13;