MemoryManager data structure
fixed ReturnedAddress test
refactor allocate_region