Updating: improving INT2PROGINATS
Updating: improving INT2PROGINATS