private static Datum vectorRef(Datum d, Datum index) { return(castVector(d).Elements[index.CastInt()]); }
private static Datum vectorSet(Datum v, Datum index, Datum value) { return(castVector(v).Elements[index.CastInt()] = value); }