program slice updated