prog: bug234814