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