prog: bug125959-x86