No differences between libmalloc-409.81.2 and libmalloc-715.120.13 for /src/instrumentation.c.