x86.h revision 0c5f81da
1