No differences between libmalloc-792.80.2 and libmalloc-715.100.22 for /tools/malloc_replay.h.