Constant Extensions_Sum_CRL_DIST_OID 

pub const Extensions_Sum_CRL_DIST_OID: Extensions_Sum = 2145394090;