prog: bug132813-x86