Update addrspace.cc