shorter forms of  `x & 0xFFFFFFFF` are `x | 0` and `x >> 0`