Update memory_buffer_alloc.c