(A stale lock can also be leaked)