Constant NID_crl_number

pub const NID_crl_number: u32 = 88;