Constant Extensions_Sum_CRL_NUMBER_OID 

pub const Extensions_Sum_CRL_NUMBER_OID: Extensions_Sum = 2146114986;