return null;
SectionVal(ai, vInteger.New(j)); return null;
public vValue SectPlusVal(vDescriptor a, vDescriptor b) {	// .x[i+:j]    vInteger ai = a.mkInteger();    long i = ai.value;    long j = i + b.mkInteger().value;    if ((-i ^ -j) < 0) {	// if wraparound	return null; /*FAIL*/    }    return SectionVal(ai, vInteger.New(j));}