prog: bug135421-x86