No differences between libmalloc-646.40.3 and libmalloc-715.120.13 for /src/debug.h.