x86 32-bits / 64-bits