MEMIO -- Memory allocation and management facilities.