prog: bug156404-amd64