4Test defines this record data type as follows:
[-] type HEAPSTATS is record [ ] INTEGER iHeapSize [ ] INTEGER iHeapCommitted [ ] INTEGER iHeapAllocated [ ] INTEGER iHeapFree [ ] INTEGER iHeapOverhead