pool_lock_held
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(!pool_lock_held() || panicstr);
ASSERT(!pool_lock_held() || panicstr);
ASSERT(!pool_lock_held() || panicstr);
ASSERT(pool_lock_held());
ASSERT(!pool_lock_held());
ASSERT(!pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
ASSERT(pool_lock_held());
extern int pool_lock_held(void);
ASSERT(pool_lock_held());