ia32 isa implementation