Re: [GHC] #693: dynamic locking