Symbol: mempool_alloc_from_pool