char *dump_malloc_data(void);
