IA32... Not working, as expected