Not easy, but I agree that it would make it easier. I would have to have stepped through the process shutdown code in a debugger, walking through the code to un

Not easy, but I agree that it would make it easier. I would have to have stepped through the process shutdown code in a debugger, walking through the code to understand when the lock was acquired, and maybe setting breakpoints to count how often it was acquired. Then again, that would require kernel debugging and a second machine and there would be numerous logistical problems, so I might not have bothered. I spent too much time trying to reconcile the discrepancy and I ultimately failed - maybe source code would have helped.