Recode of the C function malloc, following a split-fusion algorithm