Symbol: salloc_free