Constant NID_crl_number 

pub const NID_crl_number: i32 = 88;