No differences between libmalloc-317.140.5 and libmalloc-715.100.22 for /resolver/resolver_internal.h.