Updating: working in INT2PROGINATS