Starting addrspace_alloc() stub