x86.c revision 027bbb88
1