Recode of malloc/realloc/free syscalls