Constant NID_setct_AuthTokenTBS 

pub const NID_setct_AuthTokenTBS: i32 = 537;