deadlocals.go