verify_lock(): on errors, let the caller unlock the lock