prog: bug152818-x86