let region_fingerprint _ _ = assert false