was there a reason to do `&0x7fffffff` instead of `0xffffffff`?