Updating: minorly improving INT2PROGINTATS.