Publish INT2PROGINATS to fix some miss.