pub const FUTEX_OP_ANDN: i32 = 3;