prog: bug155125