a memory management utility library for mmix