x86.c revision a1c42dde
1