Add one more assert that indirectly interlocking conditions are consistent
with each other.
diff --git a/Objects/obmalloc.c b/Objects/obmalloc.c
index 019aa5b..cf2b477 100644
--- a/Objects/obmalloc.c
+++ b/Objects/obmalloc.c
@@ -686,6 +686,7 @@
 		 * was full and is in no list -- it's not in the freeblocks
 		 * list in any case).
 		 */
+		assert(pool->ref.count > 0);	/* else it was empty */
 		*(block **)p = lastfree = pool->freeblock;
 		pool->freeblock = (block *)p;
 		if (lastfree) {