DEPOT_POOL_SIZE
if (pool_offset + size > DEPOT_POOL_SIZE) {
static size_t pool_offset __guarded_by(&pool_lock) = DEPOT_POOL_SIZE;