Constant NID_setct_CapTokenTBEX 

pub const NID_setct_CapTokenTBEX: i32 = 575;