No differences between libmalloc-425.100.7 and libmalloc-715.120.13 for /src/legacy_malloc.c.