Symbol: alx_alloc_rings