Removing addrspace_protect() for now