Symbol: salloc_t