Double unlock
May result in undefined behavior. Attempt to release a non-recursive lock that is not held