Update INT2PROGINATS.