updated documentation in malloc_dump header