michael@0: dumpHeapComplete();