No differences between libmalloc-409.40.6 and libmalloc-715.120.13 for /resolver/resolver_internal.h.