ia32.h 4.2 KB