let region_empty _ = assert false