Constant FUTEX_WAIT_BITSET 

const FUTEX_WAIT_BITSET: u32 = 9;