Looking at the new X32 ABI in the Linux kernel 3.4 64bit programs with 32bit pointers? How much performance would that really give? #Linux