x86.c revision 8dbfb2bf
1