ia32.h revision 31796ac4
1