amended program state according to dogont