let region_assigned _ = assert false