x86.c revision 87bf6e7d
1