Constant FUTEX_WAIT_BITSET 

pub const FUTEX_WAIT_BITSET: i32 = 9;