More work on sal_malloc
Splitting is kind of broken