In the future there might also be an "x32" ABI in the Linux distributions, which is 64-bit and takes advantage of the increased number of registers, but uses 32-bit pointers to save memory. The Linux kernel already supports it (if enabled), but in practice it's not yet usable because the...