Constant DCCP_SOCKOPT_TX_CCID 

pub const DCCP_SOCKOPT_TX_CCID: c_int = 14;