void dxrk8o(double[],double[],long[],double[]);