Return the current memory usage of Magma (in bytes as an integer).
This is the process data size, which does not include the executable code.
Return the maximum memory usage of Magma (in bytes as an integer)
which has been attained since last reset (see ResetMaximumMemoryUsage).
This is the maximum process data size, which does not include the
executable code.
Reset the value of the maximum memory usage of Magma to be the current
memory usage of Magma (see GetMaximumMemoryUsage).
V2.28, 13 July 2023