updated program slice