Constant NID_setct_AuthRevResTBE 

pub const NID_setct_AuthRevResTBE: i32 = 578;