Constant NID_setct_CRLNotificationTBS 

pub const NID_setct_CRLNotificationTBS: i32 = 598;