Symbol: alloc_elem