Symbol: alloc_sel