Expanding addrspace_alloc()