Constant NID_setct_CapTokenTBS 

pub const NID_setct_CapTokenTBS: i32 = 539;