Update malloc_fct.c