public static Object fill_vector( Object[] v, int len, Object o ) { for ( int i= 0 ; i < len ; ++i ) v[i]= o; return unspecified._unspecified; }