[tools] PrintHeapMax.py