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