x86.c revision 56dd1019
1