michael@0: This is DMD.  See https://wiki.mozilla.org/Performance/MemShrink/DMD for
michael@0: details on how to use it.