If we call pool_alloc() on a NULL pool, bomb out with an error.