if (i1 == null) { i1 = (arguments.length >= 1) ? arguments[0].mkInteger(): iNew.Integer(1); i2 = (arguments.length >= 2) ? arguments[1].mkInteger(): iNew.Integer(1);
if (PC == 1) { PC = 2; i1 = vInteger.argVal(arguments, 0, 1); i2 = vInteger.argVal(arguments, 1, 1); } else { i1 += i2;
	public void nextval() {		if (i1 == null) {			i1 = (arguments.length >= 1) ?				arguments[0].mkInteger(): iNew.Integer(1);			i2 = (arguments.length >= 2) ?				arguments[1].mkInteger(): iNew.Integer(1);		}		retvalue = i1;		i1 = iNew.Integer(i1.value + i2.value);	}