x86.c revision ea07e42d
1