prog: bug126147-x86