ASM to 32 bits