https://github.com/technion-csl/mosalloc/blob/f76b3cf58e60ec56976587b2002cb546c51a33ca/runMosalloc.py#L109