Constant NID_setct_AuthResTBEX 

pub const NID_setct_AuthResTBEX: i32 = 572;