dump_allocations
dump_allocations(int argc, char **argv)
dump_allocations(int argc, char **argv)
dump_allocations(guarded_heap& heap, bool statsOnly, thread_id thread)
dump_allocations(bool statsOnly, thread_id thread)