Constant FUTEX_OP_CMP_LE 

pub const FUTEX_OP_CMP_LE: i32 = 3;