Constant FUTEX_TID_MASK 

pub const FUTEX_TID_MASK: u32 = 0x3fffffff;