Updating: adding regressing test for INT2PROGINTATS