Written addrspace_init()