Update INT2PROGINATS