Constant FUTEX_TID_MASK

pub const FUTEX_TID_MASK: u32 = 1_073_741_823u32;