Symbol: alloc_range