void dxrk8f(double*,double[],double[],long[]);