Constant NID_crl_number 

pub const NID_crl_number: c_int = 88;