Symbol: salloc_new