return iNew.String(value.substring(m, m+1));
return iNew.String(value.substring(m-1, m));
vDescriptor Index(vValue i) {    int m = this.posEq(i.mkInteger().value);    if (m == 0 || m > value.length()) {    	return null; /*FAIL*/    }    return iNew.String(value.substring(m, m+1));}