public static Object VECTOR_SET( Object[] v, int i, Object o ) { v[i]= o; return unspecified._unspecified; }