...
However, on implementations where values of type unsigned long are represented by greater than 32 bits, mask has will have leading zeros. For example, on implementations where values of type unsigned long are 64 bits long, mask is assigned the value 0x00000000FFFFFFFF. Consequently, only the lower-order bits of x are complemented.
...