Finally replaced the awful spalloc by a SLAB-based salloc()