Symbol: salloc_alloc