Updating: working in INT2PROGINTATS.
Updating: improving INT2PROGINATS.