Constant FUTEX_CMD_MASK 

const FUTEX_CMD_MASK: u32 = 0x3f;