addrspace_alloc() partially done