prog: bug132813-amd64