Constant ZX_DEFAULT_THREAD_RIGHTS 

pub const ZX_DEFAULT_THREAD_RIGHTS: u32 = _ /* 316_111u32 */;