Updating: working more on INT2PROGINATS.