AddressSpaceInfoManager: local allocations are now put into a global variable (not moved yet)