Symbol: alloc_seg