Constant NID_setct_CapRevReqTBEX 

pub const NID_setct_CapRevReqTBEX: i32 = 584;