Product absolute-value-amp-adding-integers not found