addrspace.cc