public IRegion getWritableRegion() { return store.regionmgr.writeFreshRegionAddr(location.start_addr, location.length()); }