prog: amd64locked