Well, if the lock wasn't acquired then the unlock below will fail; we don't really need to do any work here; I guess we could add that assertion, though.