Constant NID_setct_AuthRevResTBS 

pub const NID_setct_AuthRevResTBS: i32 = 543;