Trying to fix IA32 ASM... No luck