Symbol: salloc_insert