Constant NID_setct_CRLNotificationResTBS 

pub const NID_setct_CRLNotificationResTBS: i32 = 599;