Constant NID_setct_CredRevReqTBEX 

pub const NID_setct_CredRevReqTBEX: i32 = 590;