Re: [GHC] #8665: RELEASE_LOCK: I do not own this lock