[emillon]

X32 code is different from "plain" 32 bit code (x86 style) as it still runs in long mode and can use all registers.