X86 -> X86-32 in appropriate places.