void mem_resize (void **mem, int size);